scientific article
From MaRDI portal
Publication:2753604
zbMath0972.03531MaRDI QIDQ2753604
Publication date: 14 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07) Many-valued logic (03B50) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items (10)
Analytic tableaux for non-deterministic semantics ⋮ Axiomatizing non-deterministic many-valued generalized consequence relations ⋮ Canonical signed calculi with multi-ary quantifiers ⋮ Two-layered logics for paraconsistent probabilities ⋮ An informational view of classical logic ⋮ A qualitative temporal extension of here-and-there logic ⋮ Graded tableaux for Rational Pavelka Logic ⋮ Non-distributive relatives of ETL and NFL ⋮ Non-deterministic semantics for logics with a consistency operator ⋮ Classic-Like Analytic Tableaux for Finite-Valued Logics
This page was built for publication: