Nice embedding in classical logic

DOI10.1007/S11225-015-9622-3MaRDI QIDQ300555zbMATH OpenOpenAlexFDO

Authors Peter Verdée, Diderik Batens

Publication date 28 June 2016

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-015-9622-3

zbMATH Keywords

embeddingclassical logicbi-valued semanticsgluts and gapstranslations

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Many-valued logic (03B50) Paraconsistent logics (03B53) Subsystems of classical logic (including intuitionistic logic) (03B20)

Recommendations

• Embedding classical propositional logic into paralogics related to Par
• Embedding operations and their application
• Some embedding theorems for conditional logic
• scientific article; zbMATH DE number 1858065
• scientific article; zbMATH DE number 1463147

Cites work

• scientific article; zbMATH DE number 1805574 (Why is no real title available?)
• scientific article; zbMATH DE number 3167150 (Why is no real title available?)
• scientific article; zbMATH DE number 3719121 (Why is no real title available?)
• scientific article; zbMATH DE number 43479 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3559526 (Why is no real title available?)
• scientific article; zbMATH DE number 1303449 (Why is no real title available?)
• scientific article; zbMATH DE number 1735927 (Why is no real title available?)
• scientific article; zbMATH DE number 2096993 (Why is no real title available?)
• scientific article; zbMATH DE number 3325547 (Why is no real title available?)
• scientific article; zbMATH DE number 3192057 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Axiom schemes for m-valued propositions calculi
• Goal-directed proof theory
• It might have been classical logic
• New dimensions on translations between logics
• On the theory of inconsistent formal systems
• Spoiled for choice?
• The ubiquity of conservative translations
• What is a completely integrable nonholonomic dynamical system?

Cited in

(6)

• Two, Many, and Differently Many
• Some embedding theorems for conditional logic
• Nice implicational axioms
• Semantics for ``enough-certainty and Fitting's embedding of classical logic in S4
• Embedding classical propositional logic into paralogics related to Par
• Devising the set of abnormalities for a given defeasible rule

This page was built for publication: Nice embedding in classical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q300555)