Recommendations
Cites work
- scientific article; zbMATH DE number 440121 (Why is no real title available?)
- scientific article; zbMATH DE number 3150809 (Why is no real title available?)
- scientific article; zbMATH DE number 3819795 (Why is no real title available?)
- scientific article; zbMATH DE number 67040 (Why is no real title available?)
- scientific article; zbMATH DE number 3482305 (Why is no real title available?)
- scientific article; zbMATH DE number 1747706 (Why is no real title available?)
- scientific article; zbMATH DE number 945663 (Why is no real title available?)
- scientific article; zbMATH DE number 2196609 (Why is no real title available?)
- A closer look at some subintuitionistic logics
- A survey of abstract algebraic logic
- Algebraic logic for classical conjunction and disjunction
- Algebraic study of two deductive systems of relevance logic
- Algebraizable logics
- An algebraic approach to non-classical logics
- Belnap's Four-Valued Logic and De Morgan Lattices
- Brouwerian Semilattices
- Definitional equivalence and algebraizability of generalized logical systems
- Fregean logics
- Implicative Semi-Lattices
- Introduction to the special issue on algebraic logic
- Leibniz filters and the strong version of a protoalgebraic logic
- Leibniz filters revisited
- Ontology in the Tractatus of L. Wittgenstein
- Protoalgebraic logics
- Referential semantics: duality and applications
- The Suszko operator. I
- Theory of logical calculi. Basic theory of consequence operations
- Weakly algebraizable logics
Cited in
(25)- Leibniz-linked pairs of deductive systems
- De Morgan clones and four-valued logics
- XIV Latin American Symposium on Mathematical Logic (SLALM)
- scientific article; zbMATH DE number 2196609 (Why is no real title available?)
- Implicational (semilinear) logics. I: A new hierarchy
- Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity
- Canonical extensions for congruential logics with the deduction theorem
- Selfextensional logics in abstract algebraic logic: a brief survey
- Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras
- Beyond Rasiowa's algebraic approach to non-classical logics
- Logics with disjunction and proof by cases
- An algebraic view of super-Belnap logics
- The strong version of a sentential logic
- A deterministic weakening of Belnap-Dunn logic
- Countably many weakenings of Belnap-Dunn logic
- Algebraizable logics with a strong conjunction and their semi-lattice based companions
- Selfextensional logics with a distributive nearlattice term
- Monotonic modal logics with a conjunction
- A new view of effects in a Hilbert space
- On semilattice-based logics with an algebraizable assertional companion
- Taking degrees of truth seriously
- Self-extensional three-valued paraconsistent logics
- On the deductive system of the order of an equationally orderable quasivariety
- The proof by cases property and its variants in structural consequence relations
- Pure variable inclusion logics
This page was built for publication: Selfextensional logics with a conjunction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q865045)
