scientific article; zbMATH DE number 3496154
From MaRDI portal
Publication:4078023
Cited in
(45)- Taking degrees of truth seriously
- Remarks on a survey article on many valued logic by A. Urquhart
- Galois structures
- Equivalential logics. I
- Equivalential logics. II
- Algebraic logic for classical conjunction and disjunction
- Algebraization of quantifier logics, an introductory overview
- The logics stronger than Lukasiewicz's three valued sentential calculus. The notion of degree of maximality versus the notion of degree of completeness
- Projective and inductive generation of abstract logics
- The Fregean axiom and Polish mathematical logic in the \(1920^s\)
- Non-monotonic fuzzy reasoning
- Inducing implication relations
- Algebraic study of Sette's maximal paraconsistent logic
- Algebraic study of two deductive systems of relevance logic
- Abstract modal logics
- An approach to uncertainty via sets of truth values
- Fuzzy logics as families of bivaluated logics
- New dimensions on translations between logics
- What is a logic translation?
- Minimally generated abstract logics
- Theory of completeness for logical spaces
- A refutation theory
- Paraconsistency in classical logic
- Direct proofs of Lindenbaum conditionals
- Adjoint interpretations of sentential calculi
- Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data
- Topological representation of intuitionistic and distributive abstract logics
- On the closure properties of the class of full G-models of a deductive system
- Logics preserving degrees of truth
- A fuzzy version of default logic
- Topological Properties of Concept Spaces
- Categorical abstract algebraic logic: referential algebraic semantics
- The relativity and universality of logic
- Idempotent full paraconsistent negations are not algebraizable
- Fregean logics
- A note on closure spaces determined by intersections
- \(\in_K\): a non-Fregean logic of explicit knowledge
- Consequence relations and data science: from Galois mappings to data interpretation
- An essay in matrix semantics for consequence relations
- Janusz Czelakowski's research on the theory of matrices and its applications in the seventies and eighties of the 20th century
- M_K(T)-spaces: some order-theoretical properties and applications to distributive logics
- Matrix characterisation of the hierarchy FiC n of bivaluated logics
- Many-valued computational logics
- Boolean representation of bounded BCK-algebras
- Topological properties of concept spaces (full version)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4078023)