Fregean logics

DOI10.1016/J.APAL.2003.11.008zbMATH Open1076.03045OpenAlexW4213007706MaRDI QIDQ598302FDOQ598302

Authors: 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

Recommendations

• scientific article; zbMATH DE number 2171659
• scientific article; zbMATH DE number 2068678
• scientific article; zbMATH DE number 67040
• Frege's conception of logic
• Strict Fregean free logic
• Frege's theorem and his logicism
• Frege and Dedekind, varieties of logicism
• scientific article; zbMATH DE number 43055
• A Logic for Frege’s Theorem
• Dedekind's logicism

zbMATH Keywords

abstract algebraic logicquasivarietyLeibniz congruencededuction theoremalgebraizable logicequivalential logicprotoalgebraic logicself-extensional logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (47)

• Axiomatizing the skew Boolean propositional calculus
• On algebraisation of superintuitionistic predicate logics
• Frege's Cardinals and Neo-Logicism
• Frege's content-principle and relevant deducibility
• Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics
• A study of truth predicates in matrix semantics
• Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
• Title not available (Why is that?)
• Disentangling \textsf{FDE}-based paraconsistent modal logics
• Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
• A modification of Frege's and Dunn's semantics for propositional logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic characterization of the local Craig interpolation property
• Selfextensional logics with a conjunction
• A mathematical life
• Negation and Implication in Quasi-Nelson Logic
• Replies to Part I Frege and Logicism
• Beyond Rasiowan systems: unital deductive systems
• Aggregation and idempotence
• Algebraic semantics for the \((\leftrightarrow,\neg)\)-fragment of \(\mathsf{IPC}\) and its properties
• Compatibly involutive residuated lattices and the Nelson identity
• The structure of completely meet irreducible congruences in strongly Fregean algebras
• Stoic Sequent Logic and Proof Theory
• Fregean axiom and many-valuedness
• Towards Logics of Some Rough Perspectives of Knowledge
• Axioms in Frege
• Equivalential Algebras with Conjunction on Dense Elements
• Fregean logics with the multiterm deduction theorem and their algebraization
• Juxtaposition: a new way to combine logics
• On definability of connectives and modal logics over \textbf{FDE}
• Constructive logic with strong negation is a substructural logic. I
• Update to ``A survey of abstract algebraic logic
• Logics from \(\sqrt{\prime}\) quasi-MV algebras
• Free spectra of linear equivalential algebras
• Free equivalential algebras
• Title not available (Why is that?)
• Constructive logic with strong negation is a substructural logic. II
• Beyond Rasiowa's algebraic approach to non-classical logics
• Selfextensional logics with a distributive nearlattice term
• The Modelwise Interpolation Property of Semantic Logics
• Abstract algebraic logic. An introductory chapter
• Frege
• Paraconsistent constructive logic with strong negation as a contraction-free relevant logic

This page was built for publication: Fregean logics

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