Equivalential logics. I
From MaRDI portal
Publication:1159628
DOI10.1007/BF02584057zbMATH Open0476.03032OpenAlexW4247128566MaRDI QIDQ1159628FDOQ1159628
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
Other nonclassical logic (03B60) Subsystems of classical logic (including intuitionistic logic) (03B20)
Cites Work
- An algebraic approach to non-classical logics
- Matrix approach in methodology of sentential calculi
- Title not available (Why is that?)
- Title not available (Why is that?)
- Some theorems on structural consequence operations
- Title not available (Why is that?)
- Reduced products of logical matrices
- Title not available (Why is that?)
Cited In (48)
- Some remarks on the logic of probabilistic relevance
- General theory of the commutator for deductive systems. I: Basic facts
- Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
- Logical matrices and the amalgamation property
- Protoalgebraic logics
- Categorical abstract algebraic logic: categorical algebraization of first-order logic without terms
- Semi-linear Varieties of Lattice-Ordered Algebras
- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
- Fregean logics
- Matrices, primitive satisfaction and finitely based logics
- 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 \(\pi\)-institutions
- Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties
- Equivalential logics. II
- Juxtaposition: a new way to combine logics
- Boolean-like algebras
- On elementary equivalence for equality-free logic
- Lattice-theoretic properties of algebras of logic
- On the closure properties of the class of full G-models of a deductive system
- Replacement in logic
- On free annotated algebras
- Possible worlds in use
- Strong versus weak quantum consequence operations
- Categorical abstract algebraic logic: behavioral \(\pi\)-institutions
- 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
- Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
- Some theorems on structural entailment relations
- 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
- A short overview of Hidden Logic
- Characterization of protoalgebraic k-deductive systems
- Categorical abstract algebraic logic: truth-equational \(\pi\)-institutions
- Abstract algebraic logic. An introductory chapter
- Synonymous logics
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems
- Equivalential and algebraizable logics
- Filter distributive logics
- Categorical abstract algebraic logic: prealgebraicity and protoalgebraicity
- Algebraic aspects of deduction theorems
- Intuitionistic logic is a connexive logic
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)
