scientific article
From MaRDI portal
Publication:2735686
zbMath0973.03012MaRDI QIDQ2735686
Jean-Yves Béziau, Newton C. A. Da Costa
Publication date: 4 September 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)
Related Items (6)
Abstract valuation semantics ⋮ Compositional meaning in logic ⋮ The Lvov-Warsaw School: A True Mythology ⋮ The relativity and universality of logic ⋮ Non Truth-Functional Many-Valuedness ⋮ Idempotent full paraconsistent negations are not algebraizable
This page was built for publication:
