Subminimal negation
Work
Year: 2016
Type: article
Abstract: Minimal logic, i.e., intuitionistic logic without the ex falso principle, is investigated in its original form with a negation symbol instead of a symbol denoting the contradiction. A Kripke semantics... more
Source: Soft Computing
Institution University of Amsterdam
Cites: 20
Cited by: 19
Related to: 10
FWCI: 1.81
Citation percentile (by year/subfield): 88.56
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: hybrid
APC paid (est): $2,990
Funder Universiteit van Amsterdam