scientific article; zbMATH DE number 3588632
From MaRDI portal
Publication:4156414
zbMath0378.02011MaRDI QIDQ4156414
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) General logic (03B99)
Related Items (7)
Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics ⋮ AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS ⋮ Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ From Inconsistency to Incompatibility ⋮ A Model-Theoretic Analysis of Fidel-Structures for mbC ⋮ Nelson algebras, residuated lattices and rough sets: A survey ⋮ A family of genuine and non-algebraisable C-systems
This page was built for publication:
