Abstract algebraic logic. An introductory chapter
From MaRDI portal
Publication:6120603
DOI10.1007/978-3-030-76920-8_3OpenAlexW4205788046MaRDI QIDQ6120603
Publication date: 25 March 2024
Published in: Outstanding Contributions to Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-76920-8_3
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- The semantic isomorphism theorem in abstract algebraic logic
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
- Abstract valuation semantics
- Leibniz interpolation properties
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Fregean logics
- Canonical extensions for congruential logics with the deduction theorem
- Contextual deduction theorems
- An order-theoretic analysis of interpretations among propositional deductive systems
- Residuated lattices. An algebraic glimpse at substructural logics
- Implicational (semilinear) logics. I: A new hierarchy
- Update to ``A survey of abstract algebraic logic
- Cylindric algebras. Part II
- Filter distributive logics
- Matrices, primitive satisfaction and finitely based logics
- Algebraic aspects of deduction theorems
- Reduced products of logical matrices
- Varieties with equationally definable principal congruences
- Equivalential logics. I
- A single quasi-identity for a quasivariety with the Fraser-Horn property
- Theory of logical calculi. Basic theory of consequence operations
- Algebraic logic for classical conjunction and disjunction
- An algebraic approach to non-classical logics
- Some theorems on structural consequence operations
- A note on direct products and ultraproducts of logical matrices
- Matrix approach in methodology of sentential calculi
- Speaking about transitive frames in propositional languages
- Definitional equivalence and algebraizability of generalized logical systems
- Metamathematics of fuzzy logic
- A closer look at some subintuitionistic logics
- Algebraic semantics for deductive systems
- The Suszko operator. I
- Categorical abstract algebraic logic: Equivalent institutions
- A computational glimpse at the Leibniz and Frege hierarchies
- An algebraic view of super-Belnap logics
- Key notions of Tarski's methodology of deductive systems
- Algebraic study of two deductive systems of relevance logic
- A category equivalence for odd Sugihara monoids and its applications
- Order algebraizable logics
- \(M\)-sets and the representation problem
- Completeness theory for propositional logics
- Willem Blok and modal logic
- The Beth property in algebraic logic
- Equivalence of consequence operations
- Equivalential and algebraizable logics
- A perspective on the algebra of logic
- The logic of distributive bilattices
- FREGEAN VARIETIES
- Equivalence of consequence relations: an order-theoretic and categorical perspective
- Correspondences between gentzen and hilbert systems
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- A Non-finitary Sentential Logic that is Elementarily Algebraizable
- Logics Preserving Degrees of Truth from Varieties of Residuated Lattices
- Alfred Tarski's work on general metamathematics
- Algebraizable logics
- Belnap's Four-Valued Logic and De Morgan Lattices
- Weakly algebraizable logics
- A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS
- A Mathematical Life
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
- Logics of varieties, logics of semilattices and conjunction
- A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES
- A HENKIN-STYLE PROOF OF COMPLETENESS FOR FIRST-ORDER ALGEBRAIZABLE LOGICS
- Inconsistency lemmas in algebraic logic
- An algebraic characterization of quantifiers
- Algebraic treatment of the notion of satisfiability
- Protoalgebraic logics
This page was built for publication: Abstract algebraic logic. An introductory chapter
