A general relational semantics of propositional logic: axiomatization
From MaRDI portal
Publication:2148780
Recommendations
- A new axiomatization of unified quantum logic
- LK, LJ, dual intuitionistic logic, and quantum logic
- Order-dual relational semantics for non-distributive propositional logics: a general framework
- Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p
- Generalized Galois logics. Relational semantics of nonclassical logical calculi
Cites work
- Handbook of philosophical logic. Vol. 6
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3122423 (Why is no real title available?)
- scientific article; zbMATH DE number 3222098 (Why is no real title available?)
- Intuitionism. An introduction
- Modal logic
- Semantic analysis of orthologic
- The logic of quantum mechanics
Cited in
(7)- ``Primary relations in a new foundational axiomatic framework
- A propositional logic with relative identity connective and a partial solution to the paradox of analysis
- On a modification of axioms of general relations
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs
- scientific article; zbMATH DE number 1827078 (Why is no real title available?)
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
- Propositional logic and modal logic -- a connection via relational semantics
This page was built for publication: A general relational semantics of propositional logic: axiomatization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2148780)
