Equivalential logics. I
From MaRDI portal
Publication:1159628
DOI10.1007/BF02584057zbMath0476.03032OpenAlexW4247128566MaRDI QIDQ1159628
Publication date: 1981
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02584057
Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Sentential logics and Maehara interpolation property ⋮ Matrices, primitive satisfaction and finitely based logics ⋮ Algebraic aspects of deduction theorems ⋮ Closure properties for the class of behavioral models ⋮ Algebraic study of Sette's maximal paraconsistent logic ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ On elementary equivalence for equality-free logic ⋮ Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity ⋮ Singulary extensional connectives: A closer look ⋮ Boolean-like algebras ⋮ Fregean logics ⋮ Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ A short overview of Hidden Logic ⋮ Characterization of protoalgebraic k-deductive systems ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ Semi-linear Varieties of Lattice-Ordered Algebras ⋮ JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS ⋮ Abstract algebraic logic. An introductory chapter ⋮ Intuitionistic logic is a connexive logic ⋮ Synonymous logics ⋮ Replacement in logic ⋮ The Beth property in algebraic logic ⋮ General theory of the commutator for deductive systems. I: Basic facts ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems ⋮ Possible worlds in use ⋮ Categorical abstract algebraic logic: behavioral \(\pi\)-institutions ⋮ Equivalential logics. II ⋮ Lattice-theoretic properties of algebras of logic ⋮ Protoalgebraic logics ⋮ Strong versus weak quantum consequence operations ⋮ Choice of primitives: A note on axiomatizing intuitionistic logic ⋮ On free annotated algebras ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms ⋮ Equivalential and algebraizable logics ⋮ Some theorems on structural entailment relations ⋮ Logical matrices and the amalgamation property ⋮ THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE ⋮ Filter distributive logics ⋮ Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions ⋮ Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems ⋮ THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY ⋮ Categorical abstract algebraic logic: models of \(\pi\)-institutions
Cites Work