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) Other algebras related to logic (03G25) General logic (03B99)

Cited in

(7)

• Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
• Nelson algebras, residuated lattices and rough sets: A survey
• A model-theoretic analysis of Fidel-structures for mbC
• A family of genuine and non-algebraisable C-systems
• From Inconsistency to Incompatibility
• 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

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)