scientific article; zbMATH DE number 4132132
From MaRDI portal
zbMATH Open0692.03016MaRDI QIDQ3033739FDOQ3033739
Authors: Dimiter Vakarelov 
Publication date: 1989
Title of this publication is not available (Why is that?)
Recommendations
paraconsistencynegationparacompletenesssequent calculusfiltrationscanonical modelbinary-relation semanticscanonical algebra of theoriesdistributive lattice logic
Cited In (20)
- Routley star and hyperintensionality
- Polarity semantics for negation as a modal operator
- Subminimal logics in light of Vakarelov's logic
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
- Negative modalities, consistency and determinedness
- Title not available (Why is that?)
- Double negation operator in logic \(N^*\)
- On split negation, strong negation, information, falsification, and verification
- A semantic analysis of some distributive logics with negation
- Composition of an intuitionistic negation and negative modalities as a necessity operator
- On displaying negative modalities
- On classical behavior of intuitionistic modalities
- Title not available (Why is that?)
- Sequent systems for negative modalities
- A study of algebraic structures and logics based on categories of rough sets
- Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators
- Negation in metacomplete relevant logics
- Conventionalism, consistency, and consistency sentences
- Distributive contact lattices: topological representations
- Title not available (Why is that?)
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 Q3033739)
