Results 231 to 240 of about 11,095,469 (278)

META-CLASSICAL NON-CLASSICAL LOGICS [PDF]

open access: yesThe Review of Symbolic Logic
AbstractRecently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of ‘increasingly classical’ logics—that is, logics that are classical at the level of ...
BARRIO, EDUARDO   +2 more
core   +8 more sources

Interpolation in non-classical logics

SynthÈse, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Giovanna D’Agostino
exaly   +3 more sources

Definability and Interpolation in Non-Classical Logics

Studia Logica, 2006
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Larisa Maksimova
exaly   +3 more sources

On AGM for Non-Classical Logics

Journal of Philosophical Logic, 2011
The 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
exaly   +2 more sources

Labelled Non-Classical Logics

open access: yes, 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.
VIGANO', Luca
core   +4 more sources

Natural Deduction for Non-Classical Logics [PDF]

open access: yesStudia Logica, 1998
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BASIN D., MATTHEWS S., VIGANO', Luca
openaire   +6 more sources

Home - About - Disclaimer - Privacy