Algebraic methods in philosophical logic
From MaRDI portal
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophical and critical aspects of logic and foundations (03A05) Algebraic logic (03Gxx)
Recommendations
Cited in
(only showing first 100 items - show all)- Hyper-contradictions, generalized truth values and logics of truth and falsehood
- Varieties of misrepresentation and homomorphism
- Nonclassical probability and convex hulls
- Skolemization and Herbrand theorems for lattice-valued logics
- Blurring: an approach to conflation
- Semantics for dual and symmetric combinatory calculi
- Symmetric generalized Galois logics
- Minimally generated abstract logics
- _1-completions of a poset.
- Contradictory information: too much of a good thing
- Computational complexity for bounded distributive lattices with negation
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi
- Implicational tonoid logics: algebraic and relational semantics
- Implicational partial Galois logics: relational semantics
- Logics of order and related notions
- Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning
- On the universality of atomic and molecular logics via protologics
- The continuous weak order
- Basic quasi-Boolean expansions of relevance logics
- Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems
- Questions and answers in an orthoalgebraic approach
- Speech acts, categoricity, and the meanings of logical connectives
- Logical geometries and information in the square of oppositions
- A survey of nonstandard sequent calculi
- Valuations: bi, tri, and tetra
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
- A note on algebraic semantics for \(\mathsf {S5}\) with propositional quantifiers
- AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920)
- Beyond Rasiowa's algebraic approach to non-classical logics
- From modal discourse to possible worlds
- Weakly implicative (fuzzy) logics. I: Basic properties
- Residuated expansions of lattice-ordered structures
- Current trends in substructural logics
- Paraconsistent logic
- One step is enough
- Probability and symmetric logic
- Complemented MacNeille completions and algebras of fractions
- The intensional side of algebraic-topological representation theorems
- Requiem for logical nihilism, or: logical nihilism annihilated
- Kapsner complementation: an algebraic take on Kapsner strong logics
- Almost structural completeness; an algebraic approach
- Algebraic logic
- Logic in Whitehead's universal algebra
- Stone-type dualities for separation logics
- The Story of \gamma γ
- Epistemic relevance and epistemic actions
- On split negation, strong negation, information, falsification, and verification
- Probabilistic Interpretations of Predicates
- Mereocompactness and Duality for Mereotopological Spaces
- Distributed modal logic
- A ``reply to my ``critics
- Default rules in the logic of first-degree entailments
- scientific article; zbMATH DE number 4168913 (Why is no real title available?)
- Conjecturing from consequences
- Categorical abstract algebraic logic: referential algebraic semantics
- scientific article; zbMATH DE number 1163360 (Why is no real title available?)
- scientific article; zbMATH DE number 6970800 (Why is no real title available?)
- An inferentially many-valued two-dimensional notion of entailment
- Infinite valued Łukasiewicz logic
- Distributed Relation Logic
- Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras
- A generalization of the Routley-Meyer semantic framework
- St. Alasdair on Lattices Everywhere
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- Nilpotent Minimum Logic NM and Pretabularity
- Logic, counterexamples, and translation
- Lattice NExtS4 from the embedding theorem viewpoint
- On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences
- The Birth of quantum logic
- Abstract hidden Markov models: a monadic account of quantitative information flow
- Aggregation and idempotence
- The geometry of non-distributive logics
- Canonical extensions and relational completeness of some substructural logics
- Ternary relations and relevant semantics
- What is a logical theory? On theories containing assertions and denials
- Knot is not that nasty (but it is hardier than tonk)
- A Topological-algebraic Approach to the Compactness Theorem of Classical Logic
- Two traditions in abstract valuational model theory
- Abstract algebraic logic. An introductory chapter
- Birkhoff's and Mal'cev's theorems for implicational tonoid logics
- COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS
- Basic Four-Valued Systems of Cyclic Negations
- Possible worlds in use
- Algebraic structures identified with bivalent and non-bivalent semantics of experimental quantum propositions
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- Propositional logic for infinitive sentences
- Categorical quantification
- Relevant consequence relations: an invitation
- Categoricity problem for LP and K3
- Topological models of columnar vagueness
- Cyclic negations and four-valuedness
- Quantum logic and meaning
- Ordered BCI-algebras, Y-kernels and (ordered) functions
- Implicational tonoids and their representations
- Alpha-structures and ladders in logical geometry
- Is \(\mathbf{MIAL} (=SL^\ell)\) the weakest substructural core fuzzy logic?
- Variable-sharing as relevance
This page was built for publication: Algebraic methods in philosophical logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2753193)
