scientific article; zbMATH DE number 2070200
From MaRDI portal
Publication:4463936
zbMath1048.03021MaRDI QIDQ4463936
Heinrich Wansing, Sergei P. Odintsov
Publication date: 8 June 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (16)
Axioms for classical, intuitionistic, and paraconsistent hybrid logic ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ On Non-transitive “Identity” ⋮ Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) ⋮ Reasoning with Uncertain and Inconsistent OWL Ontologies ⋮ Description logics with contraries, contradictories, and subcontraries ⋮ Paraconsistent computation tree logic ⋮ \(\mathcal {BCDL}\): Basic constructive description logic ⋮ Combining linear-time temporal logic with constructiveness and paraconsistency ⋮ On the Methodology of Paraconsistent Logic ⋮ Inconsistent Models (and Infinite Models) for Arithmetics with Constructible Falsity ⋮ Paraconsistent Modal Logics ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective
This page was built for publication:
