Encoding two-valued nonclassical logics in classical logic
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1975410
- scientific article; zbMATH DE number 107515
- scientific article; zbMATH DE number 1554267
- Many-valued Logics in Classical and Quantum Gates
- Quantum logic and nonclassical logics
- scientific article; zbMATH DE number 1086631
- Non-classical operations hidden in the classical logic
- Conditions for the applicability of classical logic in the framework of languages of nonclassical logics
- Translating non-classical logics into classical logic by using hidden variables
- scientific article; zbMATH DE number 4063067
Cited in
(17)- A new methodology for developing deduction methods
- Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators
- Efficient local reductions to basic modal logic
- Local is best: efficient reductions to modal logic \textsf{K}
- Local reductions for the modal cube
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- Translating non-classical logics into classical logic by using hidden variables
- Deciding regular grammar logics with converse through first-order logic
- A tableau calculus for minimal modal model generation
- DKAL and Z3: a logic embedding experiment
- Verification of the logical sequence in nonclassical multivalued logic
- Separation logics and modalities: a survey
- First-order resolution methods for modal logics
- Many-valued Logics in Classical and Quantum Gates
- Universal translatability: optimality-based justification of (not necessarily) classical logic
- A description logic based situation calculus
- Category theory in Isabelle/HOL as a basis for meta-logical investigation
This page was built for publication: Encoding two-valued nonclassical logics in classical logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2751373)
