Equivalential logics. I

DOI10.1007/BF02584057MaRDI QIDQ1159628zbMATH OpenOpenAlexFDO

Authors Janusz Czelakowski

Publication date 1981

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

consequence operationlogical matrix

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites work

• scientific article; zbMATH DE number 3496154 (Why is no real title available?)
• scientific article; zbMATH DE number 3315184 (Why is no real title available?)
• scientific article; zbMATH DE number 3378906 (Why is no real title available?)
• scientific article; zbMATH DE number 3419181 (Why is no real title available?)
• An algebraic approach to non-classical logics
• Matrix approach in methodology of sentential calculi
• Reduced products of logical matrices
• Some theorems on structural consequence operations

Cited in

(48)

• Intuitionistic logic is a connexive logic
• Some remarks on the logic of probabilistic relevance
• Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
• General theory of the commutator for deductive systems. I: Basic facts
• Logical matrices and the amalgamation property
• Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
• Protoalgebraic logics
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• Fregean logics
• Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
• Matrices, primitive satisfaction and finitely based logics
• A short overview of hidden logic
• Characterization of protoalgebraic \(k\)-deductive systems
• Algebraic study of Sette's maximal paraconsistent logic
• An essay in matrix semantics for consequence relations
• Choice of primitives: A note on axiomatizing intuitionistic logic
• Singulary extensional connectives: A closer look
• THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY
• Categorical abstract algebraic logic: models of -institutions
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
• Equivalential logics. II
• Boolean-like algebras
• Juxtaposition: a new way to combine logics
• On elementary equivalence for equality-free logic
• Lattice-theoretic properties of algebras of logic
• Replacement in logic
• On the closure properties of the class of full G-models of a deductive system
• Possible worlds in use
• On free annotated algebras
• Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
• Strong versus weak quantum consequence operations
• THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
• AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
• Some theorems on structural entailment relations
• Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
• The Beth property in algebraic logic
• Closure properties for the class of behavioral models
• Sentential logics and Maehara interpolation property
• Beyond Rasiowa's algebraic approach to non-classical logics
• Semi-linear varieties of lattice-ordered algebras.
• Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
• Synonymous logics
• Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
• Abstract algebraic logic. An introductory chapter
• Filter distributive logics
• Equivalential and algebraizable logics
• Algebraic aspects of deduction theorems
• Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity

This page was built for publication: Equivalential logics. I

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