Results 261 to 270 of about 11,095,469 (278)
Some of the next articles are maybe not open access.
A Hierarchy of Classical and Paraconsistent Logics
Journal of Philosophical Logic, 2019Federico Pailos +2 more
exaly
Some Aspects on Complementarity and Heterodoxy in Non-Classical Logics
Procedia Computer Science, 2018Jair M. Abe, Seiki Akama
exaly
Automated theorem proving by resolution in non-classical logics
Annals of Mathematics and Artificial Intelligence, 2007Viorica Sofronie-Stokkermans
exaly
Embedding and automating conditional logics in classical higher-order logic
Annals of Mathematics and Artificial Intelligence, 2012Christoph Benzmüller +2 more
exaly
Monoidal logics: completeness and classical systems
Journal of Applied Non-Classical Logics, 2019Clayton Peterson
exaly
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Outstanding Contributions To Logic, 2021exaly
Label-free natural deduction systems for intuitionistic and classical modal logics
Journal of Applied Non-Classical Logics, 2010Yakoub Salhi
exaly
Defining LFIs and LFUs in extensions of infectious logics
Journal of Applied Non-Classical Logics, 2016Damian Szmuc
exaly