Referential semantics: duality and applications
From MaRDI portal
Recommendations
- Categorical abstract algebraic logic: referential algebraic semantics
- Categorical abstract algebraic logic referential \(\pi\)-institutions
- Selfextensional logics in abstract algebraic logic: a brief survey
- A logic is referential iff it is selfextensional
- Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II
Cited in
(17)- Referent systems and relational grammar
- A logic is referential iff it is selfextensional
- Minimally generated abstract logics
- Algorithmic correspondence and canonicity for non-distributive logics
- Beyond Rasiowa's algebraic approach to non-classical logics
- Selfextensional logics in abstract algebraic logic: a brief survey
- An Abstract Algebraic Logic View on Judgment Aggregation
- Categorical abstract algebraic logic: referential algebraic semantics
- scientific article; zbMATH DE number 1735833 (Why is no real title available?)
- scientific article; zbMATH DE number 1949638 (Why is no real title available?)
- Categorical abstract algebraic logic: pseudo-referential matrix system semantics
- THE SENSE/REFERENCE DISTINCTION IN CONSTRUCTIVE SEMANTICS
- Subordination algebras as semantic environment of input/output logic
- Possible worlds in use
- Obligations and permissions on selfextensional logics
- Selfextensional logics with a conjunction
- Interpretation and inference with maximal referential terms
This page was built for publication: Referential semantics: duality and applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5441553)
