Fregean logics

DOI10.1016/j.apal.2003.11.008zbMath1076.03045OpenAlexW4213007706MaRDI QIDQ598302

Janusz Czelakowski, Don Pigozzi

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.008

zbMATH Keywords

deduction theoremquasivarietyabstract algebraic logicalgebraizable logicequivalential logicprotoalgebraic logicLeibniz congruenceself-extensional logic

Mathematics Subject Classification ID

Algebraic logic (03G99) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Abstract deductive systems (03B22)

Related Items (32)

Negation and Implication in Quasi-Nelson Logic ⋮ Algebraic Characterization of the Local Craig Interpolation Property ⋮ A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS ⋮ The structure of completely meet irreducible congruences in strongly Fregean algebras ⋮ Selfextensional logics with a conjunction ⋮ Axiomatizing the skew Boolean propositional calculus ⋮ A Mathematical Life ⋮ Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems ⋮ JUXTAPOSITION: A NEW WAY TO COMBINE LOGICS ⋮ Disentangling \textsf{FDE}-based paraconsistent modal logics ⋮ Algebraic semantics for the ‐fragment of and its properties ⋮ The Modelwise Interpolation Property of Semantic Logics ⋮ Abstract algebraic logic. An introductory chapter ⋮ Equivalential Algebras with Conjunction on Dense Elements ⋮ Logics from \(\sqrt{\prime}\) quasi-MV algebras ⋮ Selfextensional logics with a distributive nearlattice term ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ Free equivalential algebras ⋮ AGGREGATION AND IDEMPOTENCE ⋮ Beyond Rasiowan systems: unital deductive systems ⋮ Fregean logics with the multiterm deduction theorem and their algebraization ⋮ Beyond Rasiowa's algebraic approach to non-classical logics ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ Update to ``A survey of abstract algebraic logic ⋮ On Algebraisation of Superintuitionistic Predicate Logics ⋮ On Definability of Connectives and Modal Logics over FDE ⋮ Free spectra of linear equivalential algebras ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Towards Logics of Some Rough Perspectives of Knowledge ⋮ Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algebraic aspects of deduction theorems
• Local deductions theorems
• Equivalential logics. I
• On the \(\{\to,\tilde{}\}\)-reduct of the intuitionistic consequence operation
• Theory of logical calculi. Basic theory of consequence operations
• Introduction to the special issue on algebraic logic
• The Fregean axiom and Polish mathematical logic in the \(1920^s\)
• Characterizing equivalential and algebraizable logics by the Leibniz operator
• Fregean logics with the multiterm deduction theorem and their algebraization
• Algebraic study of two deductive systems of relevance logic
• Investigations into the sentential calculus with identity
• Ontology in the Tractatus of L. Wittgenstein
• Identity connective and modality
• Equivalential and algebraizable logics
• Note on algebraic models for relevance logic
• Algebraizable logics
• Brouwerian Semilattices
• Equational logic and theories in sentential languages
• Weakly algebraizable logics
• Fregean subtractive varieties with definable congruence
• Congruence quasi-orderability in subtractive varieties
• Two Mal'cev-type theorems in universal algebra
• Protoalgebraic logics
• Leibniz filters and the strong version of a protoalgebraic logic

This page was built for publication: Fregean logics