Year: 2025
Type: article
Abstract: We take a close look at what is required to show the uniqueness of connectives in something very like Belnap’s sense. We find that negation demands more than conjunction, disjunction and the conditional. However, what it demands is quite in line with how we think of negation in a natural language but perhaps not in a formal language.
Source: Studia Logica
Author: Peter Milne
Institution: University of Stirling
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
Estimated APC paid: $2,990
OpenAlex ID: W4414375166