Filter distributive logics

DOI10.1007/BF00370507MaRDI QIDQ1066139zbMATH OpenOpenAlexFDO

Authors Janusz Czelakowski

Publication date 1984

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00370507

zbMATH Keywords

deductive systemsentential logicalgebra of formulascongruence distributive equational classesEquivalential logicslattice of filterssyntactic characterization of finite logics

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Other algebras related to logic (03G25) Congruence modularity, congruence distributivity (08B10) General logic (03B99)

Recommendations

• scientific article; zbMATH DE number 554983
• Matrices, primitive satisfaction and finitely based logics
• scientific article; zbMATH DE number 465608
• Equivalential and algebraizable logics
• A perspective on the algebra of logic
• A field guide to equational logic
• Algebraizable logics. An exact reproduction of the text originally published in 1989 with an errata sheet prepared by the second author in 2014
• Algebraizable logics
• scientific article; zbMATH DE number 120349
• scientific article; zbMATH DE number 868093

Cites work

• scientific article; zbMATH DE number 3150809 (Why is no real title available?)
• scientific article; zbMATH DE number 3777562 (Why is no real title available?)
• scientific article; zbMATH DE number 3625386 (Why is no real title available?)
• Deducibility and many-valuedness
• Equivalential logics. I
• Matrices, primitive satisfaction and finitely based logics
• Matrix approach in methodology of sentential calculi
• Reduced products of logical matrices
• Some theorems on structural consequence operations

Cited in

(15)

• Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
• Freeness in classes without equality
• Finite axiomatizability of logics of distributive lattices with negation
• Protoalgebraic logics
• Filter models for conjunctive-disjunctive \(\lambda\)-calculi
• The many benefits of putting stack filters into disjunctive or conjunctive normal form
• Matrices, primitive satisfaction and finitely based logics
• scientific article; zbMATH DE number 220055 (Why is no real title available?)
• Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
• On a logico-algebraic approach to AGM belief contraction theory
• On the closure properties of the class of full G-models of a deductive system
• Abstract algebraic logic. An introductory chapter
• Equivalential and algebraizable logics
• Local deductions theorems
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity

This page was built for publication: Filter distributive logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1066139)