Translating non-classical logics into classical logic by using hidden variables
From MaRDI portal
Publication:2399603
DOI10.1007/s11787-017-0168-1zbMath1420.03020OpenAlexW2608610996MaRDI QIDQ2399603
Publication date: 24 August 2017
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-017-0168-1
classical propositional logicmany-valued logicsparaconsistent logicstranslations between logicsdyadic semantics
Classical propositional logic (03B05) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
- Non-deterministic semantics for logics with a consistency operator
- What is a non-truth-functional logic?
- New dimensions on translations between logics
- THE UBIQUITY OF CONSERVATIVE TRANSLATIONS
- Conservative translations