<--- Back to Details
First PageDocument Content
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
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

Add to Reading List

Source URL: segr-did2.fmag.unict.it

Download Document from Source Website

File Size: 129,06 KB

Share Document on Facebook

Similar Documents

Logic / Many-valued logic / Philosophy / Philosophy of logic / Three-valued logic / Jan ukasiewicz / J. Barkley Rosser / Mathematical logic

Geschichte • Jan Łukasiewicz: O logice tròjwarto´sciowej (On 3-valued logic). Ruch Filozoficzny, Vol. 5, 1920.

DocID: 1xU96 - View Document

Model theory / Proof theory / Metalogic / Logic in computer science / Computability theory / Presburger arithmetic / Quantifier elimination / Decidability / Jan Łukasiewicz / Mathematical logic / Logic / Mathematics

@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",

DocID: 1108u - View Document

Square of opposition / Prior Analytics / De Interpretatione / Syllogism / Term logic / Categorical proposition / Obversion / Proposition / Truth / Logic / Traditional logic / Philosophy

Aristotle and Lukasiewicz on Existential Import September 7, 2014 Abstract Jan Lukasiewicz’s treatise on Aristotle’s Syllogistic, published in the

DocID: Syam - View Document

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

PDF Document

DocID: KBAW - View Document

Logic / Paraconsistent logic / Philosophers of science / Analytic philosophers / Graham Priest / Mathematics / Jacek Malinowski / Kazimierz Ajdukiewicz / Jan Łukasiewicz / Year of birth missing / Philosophy / Studia Logica

PDF Document

DocID: 19Ac - View Document