Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation

From MaRDI portal
Publication:5176671
Jump to:navigation, search

DOI10.1093/jigpal/jzt027zbMath1306.03014OpenAlexW2163362139MaRDI QIDQ5176671

José Luis Castiglioni, Rodolfo C. Ertola-Biraben

Publication date: 27 February 2015

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzt027

zbMATH Keywords

paraconsistencyfinite model propertyintuitionistic logicdual negation


Mathematics Subject Classification ID

Paraconsistent logics (03B53)


Related Items

Revisiting da Costa logic, Paraconsistency properties in degree-preserving fuzzy logics, Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations, Weakening and extending \(\mathbb{Z}\), Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5176671&oldid=19749819"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 8 February 2024, at 16:59.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki