Results 261 to 270 of about 339,779 (297)
Some of the next articles are maybe not open access.
, 2000
Contents: List of Figures. List of Tables. Acknowledgments. 1. Introduction. Part I: Labelled deduction for non-classical logics. 2. Labelled Natural Deduction Systems for Propositional Modal Logics. 3. Labelled Natural Deduction Systems for Propositional Non-Classical Logics. 4. Labelled Natural Deduction Systems for Quantified Modal Logics.
L. Viganò
semanticscholar +3 more sources
Contents: List of Figures. List of Tables. Acknowledgments. 1. Introduction. Part I: Labelled deduction for non-classical logics. 2. Labelled Natural Deduction Systems for Propositional Modal Logics. 3. Labelled Natural Deduction Systems for Propositional Non-Classical Logics. 4. Labelled Natural Deduction Systems for Quantified Modal Logics.
L. Viganò
semanticscholar +3 more sources
Interpolation in non-classical logics
Synthese, 2008zbMATH Open Web Interface contents unavailable due to conflicting licenses.
G. D’Agostino
semanticscholar +3 more sources
On AGM for Non-Classical Logics
Journal of Philosophical Logic, 2011The purpose of this paper is to review some of the work that has been done adapting the AGM theory of belief change to contexts where the background logic is non-classical. It is not intended as an exhaustive survey of the field; for example, it does not discuss the case of intuitionistic logic.
Renata Wassermann
semanticscholar +2 more sources
Natural Deduction for Non-Classical Logics
Studia Logica, 1998zbMATH Open Web Interface contents unavailable due to conflicting licenses.
D. Basin, S. Matthews, L. Viganò
semanticscholar +5 more sources
Proofs and Countermodels in Non-Classical Logics
Logica Universalis, 2014zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Sara Negri
semanticscholar +3 more sources
Definability and Interpolation in Non-Classical Logics
Studia Logica, 2006zbMATH Open Web Interface contents unavailable due to conflicting licenses.
L. Maksimova
semanticscholar +2 more sources
Belief Revision in Non-Classical Logics
SpringerBriefs in Computer Science, 2012M. Ribeiro
semanticscholar +2 more sources
Equational Reasoning in Non-Classical Logics
Journal of Applied Non-Classical Logics, 1998The purpose of this paper is to develop an equational formalism that is capable of modeling a great variety of applied nonclassical logics and of simulating nonclassical means of reasoning. The formalism is based on relation algebras augmented with a fork operator which are known as fork algebras.
Frias, Marcelo F., Orłowska, Ewa
openaire +2 more sources
Non-classical logics for knowledge representation and reasoning [PDF]
Intelligenza Artificiale: The international journal of the AIxIA, 2011 We briefly outline our research activity, started in the 90s, in the field of non-classical logics. In particular, we describe our activity on the use of non-classical logics for knowledge representation and on proof methods for non-monotonic and conditional logics.
L. GIORDANO +4 more
openaire +5 more sources
Non-Classical Logics, Non-Classical Sets, and Non-Classical Physics
1999Quantum physics and many-valued logics were born nearly simultaneously in the third decade of the XX Century. However, the early attempts at identifying logic able to describe quantum systems with some versions of a three-valued logic failed and the opinion that “quantum logic”, although non-classical, is a two-valued logic prevailed.
openaire +2 more sources