scientific article; zbMATH DE number 3588632
From MaRDI portal
Publication:4156414
zbMATH Open0378.02011MaRDI QIDQ4156414FDOQ4156414
Authors: Manuel M. Fidel
Publication date: 1978
Title of this publication is not available (Why is that?)
Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) General logic (03B99)
Cited In (7)
- From Inconsistency to Incompatibility
- A model-theoretic analysis of Fidel-structures for mbC
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics
- A family of genuine and non-algebraisable C-systems
- Nelson algebras, residuated lattices and rough sets: A survey
- Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3
- AN ABSTRACT ALGEBRAIC LOGIC STUDY OF DA COSTA’S LOGIC AND SOME OF ITS PARACONSISTENT EXTENSIONS
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)