Results 271 to 280 of about 339,779 (297)

Non-Classical Logics

1989
The construction of many-valued logical systems is commonly believed to have been one of the major achievements of the Warsaw School, and specifically of Łukasiewicz.1 The first mention of many-valued (three-valued) logic is to be found in Łukasiewicz’s farewell speech at Warsaw University on March 7,1918.
openaire   +1 more source

L-algebras and three main non-classical logics

Annals of Pure and Applied Logic, 2022
W. Rump
semanticscholar   +1 more source

Essays on Non-Classical Logic

2001
Fine-Grained Theories of Time (P Blackburn) Revision Sequences and Computers with an Infinite Amount of Time (B Lowe) On Frege's Nightmare: A Combination of Intuitionistic, Free and Paraconsistent Logics (S Rahman) Truthmakers, Entailment and Necessity (S Read) Global Definability in Basic Modal Logic (M de Rijke & H Sturm) Ackermann's Implication for ...
openaire   +2 more sources

Classical vs Non-Classical Logics

1980
Most philosophers writing recently on the logic of conditionals have accepted all the theses of our weak conditional logic W. No one, though, has seriously suggested that W exhausts the logic of conditionals. Indeed, almost everyone writing in the area has suggested some proper extension of W as the correct logic for conditions.
openaire   +1 more source

Non-clausal Connection Calculi for Non-classical Logics

International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2017
J. Otten
semanticscholar   +1 more source

Bounded Sequent Calculi for Non-classical Logics via Hypersequents

International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2019
A. Ciabattoni, Timo Lang, Revantha Ramanayake   +2 more
semanticscholar   +1 more source

An Algebraic Approach To Non Classical Logics

, 2016
A. Winkel
semanticscholar   +1 more source

AGM Contraction in Non-Classical Logics

2012
Recovery is certainly the most controversial AGM postulate. Since the first publications in the area many works criticize several aspects of recovery. In order to avoid the undesirable consequences of recovery, Hansson proposes to exchange it by a postulate called relevance. However, in classical logics relevance and recovery are equivalent.
openaire   +1 more source

Non-classical Logics

2021
openaire   +1 more source

Combining and automating classical and non-classical logics in classical higher-order logics

Annals of Mathematics and Artificial Intelligence, 2011
Christoph Benzmüller
semanticscholar   +1 more source