scientific article; zbMATH DE number 1028817
From MaRDI portal
Publication:4342080
zbMath0875.03054MaRDI QIDQ4342080
Publication date: 8 July 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (20)
Monoidal t-norm based logic: Towards a logic for left-continuous t-norms ⋮ Automated theorem proving by resolution in non-classical logics ⋮ Logical constraints on judgement aggregation ⋮ Three-Valued Logics for Incomplete Information and Epistemic Logic ⋮ Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom ⋮ A natural negation completion of Urquhart's many-valued logic \(C\) ⋮ A modal theorem-preserving translation of a class of three-valued logics of incomplete information ⋮ Many-valued dynamic object-oriented inheritance and approximations ⋮ Sequent-type rejection systems for finite-valued non-deterministic logics ⋮ Undead argument: the truth-functionality objection to fuzzy theories of vagueness ⋮ A first order logic for partial functions ⋮ Two kinds of non-monotonic analogical inference ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ A map of dependencies among three-valued logics ⋮ Comments on some completeness theorems of Urquhart and Méndez \& Salto ⋮ Unnamed Item ⋮ Adding structure to MV-algebras ⋮ Quantified constraints under perturbation ⋮ A Logical Autobiography ⋮ Comments on the Contributions
This page was built for publication:
