Výsledky vyhledávání - "natural deduction"

Knihovna AV ČR, v. v. i.

Odhlásit
Přihlášení
Jazyk
- English
- Čeština
Instituce

Pokročilé vyhledávání

Zahrnout EIZ

Zachovat současné nastavení filtrů

EXPAND:"fulltext"

Domovská stránka
Vyhledávání: "natural deduction"
Navrhnout nákup titulu

Zobrazeno 1 - 10 of 3 434 pro vyhledávání: '"natural deduction"'

Řazení

Vybrat vše | Vybrané výsledky:

Vybrat výsledek číslo 1 1

Kniha

Experimentální studie akceptace pravidel přirozené dedukce v českém jazyce / Matej Drobňák, Jaroslav Peregrin, Petr Matějíček, Michal Hubálek.

Autor: Drobňák, Matej

Externí odkaz: Plný text

načítá se...

Vybrat výsledek číslo 2 2

Akademický článek

Propositional intuitionistic multiple-conclusion calculus via proof graphs.

Autor: Carvalho, Ruan V B¹ ruan.carvalho@ufrpe.br, Oliveira, Anjolina G de², Queiroz, Ruy J G B de²

Publikováno v: Logic Journal of the IGPL. Feb2019, Vol. 27 Issue 1, p33-59. 27p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Vybrat výsledek číslo 3 3

Akademický článek

Trees for E.

Autor: STANDEFER, SHAWN¹ sstandefer@unimelb.edu.au

Publikováno v: Logic Journal of the IGPL. Jun2018, Vol. 26 Issue 3, p300-315. 16p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Vybrat výsledek číslo 4 4

Akademický článek

The Problem of Natural Representation of Reasoning in the Lvov-Warsaw School.

Autor: Indrzejczak, Andrzej

Publikováno v: History & Philosophy of Logic; May2024, Vol. 45 Issue 2, p142-160, 19p

Zobrazit plný text záznamu

Vybrat výsledek číslo 5 5

Akademický článek

Minimal Complete Propositional Natural Deduction Systems.

Autor: Elnashar, Amr¹ amr92_@aucegypt.edu, Lotfallah, Wafik Boulos¹ lotfallah@aucegypt.edu

Publikováno v: Journal of Philosophical Logic. Oct2018, Vol. 47 Issue 5, p803-815. 13p.

Zobrazit plný text záznamu

Plný text ve formátu HTML

Vybrat výsledek číslo 6 6

Akademický článek

On multiple conclusion deductions in classical logic.

Autor: MARETIĆ, MARCEL¹ marcel.maretic@foi.hr

Publikováno v: Mathematical Communications. 2018, Vol. 23 Issue 1, p79-95. 17p.

Zobrazit plný text záznamu

Vybrat výsledek číslo 7 7

Akademický článek

Logic for the Field of Battle.

Autor: CHENG-CHIH TSAI

Publikováno v: Teaching Philosophy; Mar2024, Vol. 47 Issue 1, p69-93, 25p

Zobrazit plný text záznamu

Vybrat výsledek číslo 8 8

Akademický článek

THE NORMALIZATION THEOREM FOR EXTENDED NATURAL DEDUCTION.

Autor: Borisavljević, Mirjana¹ mirjanab@afrodita.rcub.bg.ac.rs

Publikováno v: Publications de l'Institut Mathématique. 2017, Vol. 101 Issue 115, p75-98. 24p.

Zobrazit plný text záznamu

Vybrat výsledek číslo 9 9

Akademický článek

FROM GENTZEN TO JASKOWSKI AND BACK: ALGORITHMIC TRANSLATION OF DERIVATIONS BETWEEN THE TWO MAIN SYSTEMS OF NATURAL DEDUCTION.

Autor: von Plato, Jan¹ jan.vonplato@helsinki.fi

Publikováno v: Bulletin of the Section of Logic. 2017, Vol. 46 Issue 1/2, p65-73. 9p.

Zobrazit plný text záznamu

Vybrat výsledek číslo 10 10

Akademický článek

Natural Deduction for the Sheffer Stroke and Peirce's Arrow (and any Other Truth-Functional Connective).

Autor: Zach, Richard¹ rzach@ucalgary.ca

Publikováno v: Journal of Philosophical Logic. Apr2016, Vol. 45 Issue 2, p183-197. 15p.

Zobrazit plný text záznamu

Vybrat vše | Vybrané výsledky:

1
2
3
4
5
6
7
8
9
10
11
Další »
[344]

Vyhledávací nástroje:

RSS
Poslat e-mailem

Upřesnit hledání

Omezení vyhledávání

Plný text Recenzováno Digitální knihovna AV ČR

Zdroje

Pouze tištěné dokumenty

Zahrnout EIZ

1 012 Akademické články
87 Konferenční materiály
85 Knihy
20 Elektronické knihy
9 Dissertations
6 Recenze

2 976 natural deduction
1 462 mathematics
1 168 calculus
959 theoryofcomputation_mathematicallogicandformallanguages
673 computer science::logic in computer science
645 discrete mathematics
640 sequent calculus
634 computer science
629 logic
627 theoryofcomputation_logicsandmeaningsofprograms
424 proof calculus
389 sequent
388 proof theory
380 cut-elimination theorem
355 algebra
343 computer
311 curry-howard correspondence
307 philosophy
307 theoretical computer science
304 intuitionistic logic
294 01 natural sciences
273 mathematical proof
256 natural deduction calculus
251 algorithm
240 computer.software_genre
228 0101 mathematics
227 010102 general mathematics
218 noncommutative logic
206 0102 computer and information sciences
206 010201 computation theory & mathematics
200 typed lambda calculus
197 programming language
195 propositional calculus
192 rule of inference
184 general mathematics
184 modal logic
180 medicine
180 medicine.disease
178 calculus (medicine)
172 artificial intelligence
172 process calculus
169 classical logic
166 linear logic
152 mathematical logic
152 structural proof theory
145 business
144 business.industry
144 simply typed lambda calculus
138 software
136 zeroth-order logic

448 springer berlin heidelberg
231 springer science and business media llc
168 springer netherlands
164 springer
50 duke university press
46 cambridge university press
45 oxford university press
42 elsevier
42 elsevier b.v.
42 wiley
41 springer science and business media b.v.
39 oxford univ press
36 springer-verlag
33 elsevier science bv
30 oxford university press / usa
30 springer nature
27 cambridge univ press
23 springer verlag
19 kluwer academic publishers
16 arxiv
16 ios press
13 logic & logical philosophy
13 philosophy documentation center
11 lodz university press
11 taylor & francis ltd
9 maxwell
8 bulletin of the section of logic
8 de gruyter
8 duke univ press
7 kluwer academic publ
7 mdpi ag
7 national library of serbia
6 elsevier inc.
6 logical methods in computer science
6 wydawnictwo uniwersytetu lodzkiego
5 universidade federal de pernambuco
4 croatian philosophical society
4 mdpi
3 academic press inc.
2 american institute of physics
2 babes-bolyai university, cluj-napoca
2 czech lang inst czech acad sci
2 hrvatsko filozofsko drustvo
2 jagiellonian university in krakow, reports on mathematical logic
2 kth, mikroelektronik och informationsteknik, imit
2 stockholms universitet, matematiska institutionen
2 the learned society of the catholic university of lublin & john paul ii catholic university of lublin
2 towarzystwo naukowe kul & katolicki uniwersytet lubelski jana pawla ii
2 university of osijek, department of mathematics
1 springer nature switzerland

152 studia logica
121 the american mathematical monthly
90 journal of philosophical logic
74 journal of logic and computation
70 theoretical computer science
68 synthese
65 electronic notes in theoretical computer science
65 journal of automated reasoning
59 logic journal of the igpl
58 annals of pure and applied logic
55 the journal of symbolic logic
48 studia logica: an international journal for symbolic logic
42 review of symbolic logic
32 logica universalis
31 bulletin of the section of logic
30 notre dame journal of formal logic
29 journal of logic, language and information
27 information and computation
27 logic and logical philosophy
27 logique et analyse
23 journal of applied non-classical logics
22 mathematical logic quarterly
21 archive for mathematical logic
20 mind
16 history and philosophy of logic
13 logic & logical philosophy
13 logical methods in computer science
11 fundamenta informaticae
10 information processing letters
9 acm sigplan notices
9 acm transactions on computational logic
9 artificial intelligence
9 journal of applied logic
7 mathematics
6 bulletin of symbolic logic
6 filozofska istrazivanja
6 international journal of approximate reasoning
6 teaching philosophy
5 aip conference proceedings
5 axioms
5 language, form, and logic : in pursuit of natural logic's holy grail
5 linguistics and philosophy
5 reports on mathematical logic
5 slovo a slovesnost
3 filozofia nauki
3 journal of intelligent systems
3 minds and machines
3 roczniki filozoficzne
3 ufc
3 universidade federal do ceara

2 251 OpenAIRE
425 Scopus®
261 JSTOR Journals
208 Science Citation Index Expanded
101 Arts & Humanities Citation Index
56 Complementary Index
28 Academic Search Ultimate
19 Oxford Scholarship Online
18 Supplemental Index
18 Networked Digital Library of Theses & Dissertations
14 Social Sciences Citation Index
12 Business Source Ultimate
11 Directory of Open Access Journals
10 Central and Eastern European Online Library (CEEOL)
1 OAPEN Library
1 Katalog Knihovny AV ČR

1 brazil
1 salvador (brazil)

1 Baze Knava - Analytika

Od:

do:

Možnosti vyhledávání

Tematická mapa
Historie vyhledávání
Pokročilé vyhledávání

Objevte více

Abecední procházení

Hledáte pomoc?

Tipy pro vyhledávání

načítá se......