Selfextensional logics with a conjunction
From MaRDI portal
Publication:865045
DOI10.1007/s11225-006-9003-zzbMath1115.03094MaRDI QIDQ865045
Publication date: 13 February 2007
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-006-9003-z
algebraizable logic; algebraic logic; selfextensional logic; generalized matrix; Fregan logic; full generalized model; fully adequate Gentzen system
Related Items
Pure Variable Inclusion Logics, Implicational (semilinear) logics. II: Additional connectives and characterizations of semilinearity, On the deductive system of the order of an equationally orderable quasivariety, The proof by cases property and its variants in structural consequence relations, A new view of effects in a Hilbert space, Canonical extensions for congruential logics with the deduction theorem, Leibniz-linked pairs of deductive systems, De Morgan clones and four-valued logics, Logics with disjunction and proof by cases, Implicational (semilinear) logics. I: A new hierarchy, Taking degrees of truth seriously, The strong version of a sentential logic, An algebraic view of super-Belnap logics, Selfextensional logics with a distributive nearlattice term, Algebraizable logics with a strong conjunction and their semi-lattice based companions, Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras, Monotonic modal logics with a conjunction, Countably many weakenings of Belnap-Dunn logic, A deterministic weakening of Belnap-Dunn logic, Beyond Rasiowa's algebraic approach to non-classical logics, XIV Latin American Symposium on Mathematical Logic (SLALM)
Cites Work
- Fregean logics
- Theory of logical calculi. Basic theory of consequence operations
- Introduction to the special issue on algebraic logic
- Algebraic logic for classical conjunction and disjunction
- An algebraic approach to non-classical logics
- Definitional equivalence and algebraizability of generalized logical systems
- Leibniz filters revisited
- A closer look at some subintuitionistic logics
- A survey of abstract algebraic logic
- The Suszko operator. I
- Algebraic study of two deductive systems of relevance logic
- Ontology in the Tractatus of L. Wittgenstein
- Algebraizable logics
- Brouwerian Semilattices
- Belnap's Four-Valued Logic and De Morgan Lattices
- Weakly algebraizable logics
- Implicative Semi-Lattices
- Protoalgebraic logics
- Leibniz filters and the strong version of a protoalgebraic logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item