scientific article

Publication date: 29 October 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Philosophical and critical aspects of logic and foundations (03A05) 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) Algebraic logic (03Gxx)

Related Items

Current trends in substructural logics, Paraconsistent logic, IN MEMORIAM: J. MICHAEL DUNN, 1941–2021, Almost structural completeness; an algebraic approach, A positive information logic for inferential information, On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences, Symmetric categorial grammar, The Birth of quantum logic, Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning, On the universality of atomic and molecular logics via protologics, Residuated expansions of lattice-ordered structures, Ternary relations and relevant semantics, Categorical abstract algebraic logic: referential algebraic semantics, An Inferentially Many-Valued Two-Dimensional Notion of Entailment, Symmetric generalized Galois logics, Minimally generated abstract logics, LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT, 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, One step is enough, Two traditions in abstract valuational model theory, Abstract algebraic logic. An introductory chapter, The continuous weak order, Probability and symmetric logic, Birkhoff's and Mal'cev's theorems for implicational tonoid logics, $\Delta_1$-completions of a poset., COLLECTION FRAMES FOR DISTRIBUTIVE SUBSTRUCTURAL LOGICS, Basic Four-Valued Systems of Cyclic Negations, Complemented MacNeille completions and algebras of fractions, The intensional side of algebraic-topological representation theorems, Requiem for logical nihilism, or: logical nihilism annihilated, Varieties of misrepresentation and homomorphism, The Infinite-Valued Łukasiewicz Logic and Probability, Nonclassical probability and convex hulls, Kapsner complementation: an algebraic take on Kapsner strong logics, Nilpotent Minimum Logic NM and Pretabularity, Contradictory information: too much of a good thing, Possible worlds in use, Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras, Skolemization and Herbrand theorems for lattice-valued logics, Logics with disjunction and proof by cases, Conjecturing from consequences, A generalization of the Routley-Meyer semantic framework, 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, Basic quasi-Boolean expansions of relevance logics, Lattice logic, bilattice logic and paraconsistent quantum logic: a unified framework based on monosequent systems, Canonical extensions and relational completeness of some substructural logics, Blurring: an approach to conflation, Unnamed Item, AGGREGATION AND IDEMPOTENCE, AI, ME and Lewis (abelian implication, material equivalence and C I Lewis 1920), 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, Algebras for Galois-style connections and their discrete duality, Inferentializing semantics, Unnamed Item, Beyond Rasiowa's algebraic approach to non-classical logics, From modal discourse to possible worlds, Distributed Relation Logic, Valuations: bi, tri, and tetra, Weakly implicative (fuzzy) logics. I: Basic properties, The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins, Computational complexity for bounded distributive lattices with negation, Hilbert-style axiomatization of first-degree entailment and a family of its extensions, Hyper-contradictions, generalized truth values and logics of truth and falsehood, Logic, Counterexamples, and Translation, Lattice NExtS4 from the Embedding Theorem Viewpoint, Unnamed Item, Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi, The geometry of non-distributive logics, Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids, Implicational tonoid logics: algebraic and relational semantics, Implicational partial Galois logics: relational semantics, Semantics for dual and symmetric combinatory calculi, A note on algebraic semantics for $\mathsf {S5}$ with propositional quantifiers, Logics of order and related notions, Negation in the context of gaggle theory, St. Alasdair on Lattices Everywhere, Some useful 16-valued logics: How a computer network should think, Relational semantics for Kleene logic and action logic