Abstract algebraic logic. An introductory chapter
From MaRDI portal
Publication:6120603
Cites work
- scientific article; zbMATH DE number 3829860 (Why is no real title available?)
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 440121 (Why is no real title available?)
- scientific article; zbMATH DE number 3164639 (Why is no real title available?)
- scientific article; zbMATH DE number 3819795 (Why is no real title available?)
- scientific article; zbMATH DE number 3677803 (Why is no real title available?)
- scientific article; zbMATH DE number 3728230 (Why is no real title available?)
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 67019 (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 3591947 (Why is no real title available?)
- scientific article; zbMATH DE number 1302498 (Why is no real title available?)
- scientific article; zbMATH DE number 475183 (Why is no real title available?)
- scientific article; zbMATH DE number 2068678 (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 1852925 (Why is no real title available?)
- scientific article; zbMATH DE number 914167 (Why is no real title available?)
- scientific article; zbMATH DE number 6276267 (Why is no real title available?)
- scientific article; zbMATH DE number 5235521 (Why is no real title available?)
- scientific article; zbMATH DE number 3315184 (Why is no real title available?)
- A Henkin-style proof of completeness for first-order algebraizable logics
- A category equivalence for odd Sugihara monoids and its applications
- A closer look at some subintuitionistic logics
- A computational glimpse at the Leibniz and Frege hierarchies
- A logical and algebraic characterization of adjunctions between generalized quasi-varieties
- A mathematical life
- A non-finitary sentential logic that is elementarily algebraizable
- A note on direct products and ultraproducts of logical matrices
- A perspective on the algebra of logic
- A single quasi-identity for a quasivariety with the Fraser-Horn property
- A study of truth predicates in matrix semantics
- Abstract algebraic logic. An introductory textbook
- Abstract valuation semantics
- Alfred Tarski's work on general metamathematics
- Algebraic aspects of deduction theorems
- Algebraic logic for classical conjunction and disjunction
- Algebraic methods in philosophical logic
- Algebraic semantics for deductive systems
- Algebraic study of two deductive systems of relevance logic
- Algebraic treatment of the notion of satisfiability
- Algebraizable logics
- An algebraic approach to non-classical logics
- An algebraic characterization of quantifiers
- An algebraic view of super-Belnap logics
- An order-theoretic analysis of interpretations among propositional deductive systems
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
- Belnap's Four-Valued Logic and De Morgan Lattices
- Canonical extensions for congruential logics with the deduction theorem
- Categorical abstract algebraic logic: Equivalent institutions
- Completeness theory for propositional logics
- Contextual deduction theorems
- Correspondences between gentzen and hilbert systems
- Cylindric algebras. Part II
- Definitional equivalence and algebraizability of generalized logical systems
- Encyclopaedia of mathematics. Supplement volume III
- Equivalence of consequence operations
- Equivalence of consequence relations: an order-theoretic and categorical perspective
- Equivalential and algebraizable logics
- Equivalential logics. I
- FREGEAN VARIETIES
- Filter distributive logics
- Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
- Fregean logics
- Fully adequate Gentzen systems and the deduction theorem
- Implicational (semilinear) logics. I: A new hierarchy
- Inconsistency lemmas in algebraic logic
- Key notions of Tarski's methodology of deductive systems
- Leibniz interpolation properties
- Logics of varieties, logics of semilattices and conjunction
- Logics preserving degrees of truth from varieties of residuated lattices
- Matrices, primitive satisfaction and finitely based logics
- Matrix approach in methodology of sentential calculi
- Metamathematics of fuzzy logic
- Modules over quantaloids: applications to the isomorphism problem in algebraic logic and \(\pi\)-institutions
- On paraconsistent weak Kleene logic: axiomatisation and algebraic analysis
- Order algebraizable logics
- Protoalgebraic logics
- Reduced products of logical matrices
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
- Residuated lattices. An algebraic glimpse at substructural logics
- Some theorems on structural consequence operations
- Speaking about transitive frames in propositional languages
- The Beth property in algebraic logic
- The Suszko operator. I
- The logic of distributive bilattices
- The semantic isomorphism theorem in abstract algebraic logic
- Theory of logical calculi. Basic theory of consequence operations
- Update to ``A survey of abstract algebraic logic
- Varieties with equationally definable principal congruences
- Weakly algebraizable logics
- Willem Blok and modal logic
- \(M\)-sets and the representation problem
This page was built for publication: Abstract algebraic logic. An introductory chapter
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6120603)
