Fregean logics
From MaRDI portal
Publication:598302
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
Cites work
- scientific article; zbMATH DE number 3122413 (Why is no real title available?)
- scientific article; zbMATH DE number 4137850 (Why is no real title available?)
- scientific article; zbMATH DE number 67022 (Why is no real title available?)
- scientific article; zbMATH DE number 67040 (Why is no real title available?)
- scientific article; zbMATH DE number 139647 (Why is no real title available?)
- scientific article; zbMATH DE number 3482305 (Why is no real title available?)
- scientific article; zbMATH DE number 3496154 (Why is no real title available?)
- scientific article; zbMATH DE number 3561288 (Why is no real title available?)
- scientific article; zbMATH DE number 1302497 (Why is no real title available?)
- scientific article; zbMATH DE number 475183 (Why is no real title available?)
- scientific article; zbMATH DE number 2042610 (Why is no real title available?)
- scientific article; zbMATH DE number 2068678 (Why is no real title available?)
- scientific article; zbMATH DE number 945663 (Why is no real title available?)
- scientific article; zbMATH DE number 3231882 (Why is no real title available?)
- scientific article; zbMATH DE number 3305818 (Why is no real title available?)
- scientific article; zbMATH DE number 3316068 (Why is no real title available?)
- Algebraic aspects of deduction theorems
- Algebraic study of two deductive systems of relevance logic
- Algebraizable logics
- Brouwerian Semilattices
- Characterizing equivalential and algebraizable logics by the Leibniz operator
- Congruence quasi-orderability in subtractive varieties
- Equational logic and theories in sentential languages
- Equivalential and algebraizable logics
- Equivalential logics. I
- Fregean logics with the multiterm deduction theorem and their algebraization
- Fregean subtractive varieties with definable congruence
- Identity connective and modality
- Introduction to the special issue on algebraic logic
- Investigations into the sentential calculus with identity
- Leibniz filters and the strong version of a protoalgebraic logic
- Local deductions theorems
- Note on algebraic models for relevance logic
- On the \(\{\to,\tilde{}\}\)-reduct of the intuitionistic consequence operation
- Ontology in the Tractatus of L. Wittgenstein
- Protoalgebraic logics
- The Fregean axiom and Polish mathematical logic in the \(1920^s\)
- Theory of logical calculi. Basic theory of consequence operations
- Two Mal'cev-type theorems in universal algebra
- Weakly algebraizable logics
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
- scientific article; zbMATH DE number 1870424 (Why is no real title available?)
- Disentangling \textsf{FDE}-based paraconsistent modal logics
- scientific article; zbMATH DE number 5139605 (Why is no real title available?)
- Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
- A modification of Frege's and Dunn's semantics for propositional logics
- scientific article; zbMATH DE number 67040 (Why is no real title available?)
- scientific article; zbMATH DE number 7084939 (Why is no real title available?)
- scientific article; zbMATH DE number 2171659 (Why is no real title available?)
- scientific article; zbMATH DE number 2068678 (Why is no real title available?)
- Selfextensional logics with a conjunction
- Algebraic characterization of the local Craig interpolation property
- A mathematical life
- Beyond Rasiowan systems: unital deductive systems
- Negation and Implication in Quasi-Nelson Logic
- Replies to Part I Frege and Logicism
- 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
- Fregean logics with the multiterm deduction theorem and their algebraization
- Constructive logic with strong negation is a substructural logic. I
- Equivalential Algebras with Conjunction on Dense Elements
- Update to ``A survey of abstract algebraic logic
- Juxtaposition: a new way to combine logics
- On definability of connectives and modal logics over \textbf{FDE}
- Logics from \(\sqrt{\prime}\) quasi-MV algebras
- Free spectra of linear equivalential algebras
- Free equivalential algebras
- Constructive logic with strong negation is a substructural logic. II
- scientific article; zbMATH DE number 3963783 (Why is no real title available?)
- Beyond Rasiowa's algebraic approach to non-classical logics
- Selfextensional logics with a distributive nearlattice term
- Frege
- The Modelwise Interpolation Property of Semantic Logics
- Abstract algebraic logic. An introductory chapter
- 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)
