Jan Łukasiewicz - PDFSEARCH.IO - Document Search Engine

Jan Łukasiewicz
Results: 7

#	Item
1	Geschichte • Jan Łukasiewicz: O logice tròjwarto´sciowej (On 3-valued logic). Ruch Filozoficzny, Vol. 5, 1920. Add to Reading List Source URL: formal.iti.kit.edu Language: English - Date: 2016-07-22 17:14:48 Logic Many-valued logic Philosophy Philosophy of logic Three-valued logic Jan ukasiewicz J. Barkley Rosser Mathematical logic
2	@TechReport{Stansifer:1884:PAIA, author="Ryan Stansifer", title= "Presburger’s Article on Integer Airthmetic: Remarks and Translation", number="TR84-639", institution="Cornell University, Computer Science Department", Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2007-01-22 14:30:32 Model theory Proof theory Metalogic Logic in computer science Computability theory Presburger arithmetic Quantifier elimination Decidability Jan Łukasiewicz Mathematical logic Logic Mathematics
3	Aristotle and Lukasiewicz on Existential Import September 7, 2014 Abstract Jan Lukasiewicz’s treatise on Aristotle’s Syllogistic, published in the Add to Reading List Source URL: www.st-andrews.ac.uk Language: English - Date: 2015-01-14 04:41:17 Square of opposition Prior Analytics De Interpretatione Syllogism Term logic Categorical proposition Obversion Proposition Truth Logic Traditional logic Philosophy
4	PDF Document Add to Reading List Source URL: www.tcd.ie Language: English - Date: 2014-01-30 07:33:30 Liberal arts colleges Jonathan Swift University of Dublin Education Michael Gallagher Student Economic Review Jan Łukasiewicz Peter Simons Trinity College Hartford Academia Education in the Republic of Ireland Trinity College Dublin
5	PDF Document Add to Reading List Source URL: www.ifispan.waw.pl Language: English - Date: 2013-03-18 07:43:58 Logic Paraconsistent logic Philosophers of science Analytic philosophers Graham Priest Mathematics Jacek Malinowski Kazimierz Ajdukiewicz Jan Łukasiewicz Year of birth missing Philosophy Studia Logica
6	PDF Document Add to Reading List Source URL: segr-did2.fmag.unict.it Language: English - Date: 2005-07-06 05:56:50 Rules of inference Classical logic Veracity Principle of bivalence Jan Łukasiewicz Many-valued logic Law of noncontradiction Paraconsistent logic Law of excluded middle Logic Mathematical logic Philosophical logic
7	PDF Document Add to Reading List Source URL: segr-did2.fmag.unict.it Language: English - Date: 2005-07-06 05:56:50 Rules of inference Classical logic Veracity Principle of bivalence Jan Łukasiewicz Many-valued logic Law of noncontradiction Paraconsistent logic Law of excluded middle Logic Mathematical logic Philosophical logic