scientific article; zbMATH DE number 3588632

MaRDI QIDQ4156414zbMATH OpenFDO

Authors Manuel M. Fidel

Publication date 1978

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) General logic (03B99) Other algebras related to logic (03G25)

Cited in

(9)

• Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
• A model-theoretic analysis of Fidel-structures for mbC
• A family of genuine and non-algebraisable C-systems
• 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
• Nelson algebras, residuated lattices and rough sets: A survey
• Paraconsistent models of Zermelo-Fraenkel set theory
• Partial connexivity and the logic CG'_3

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4156414)