Results 41 to 50 of about 131 (125)

Cut-elimination and Normalization Theorems for Connexive Logics over Wansing’s C

Bulletin of the Section of Logic
Gentzen-style sequent calculi and Gentzen-style natural deduction systems are introduced for a family (C-family) of connexive logics over Wansing’s basic constructive connexive logic C.
Norihiro Kamide
doaj   +1 more source

From Translations to Non-Collapsing Logic Combinations

Bulletin of the Section of Logic
Prawitz suggested expanding a natural deduction system for intuitionistic logic to include rules for classical logic constructors, allowing both intuitionistic and classical elements to coexist without losing their inherent characteristics.
João Rasga, Cristina Sernadas
doaj   +1 more source

Was Aristotle a non-classical logician?

Studia Universitatis Babeș-Bolyai. Philosophia
This paper discusses the possible classification of Aristotle’s syllogistic as a non-classical logical system, positing Aristotle himself as a non-classical logician.
Luis F. BARTOLO ALEGRE
doaj   +1 more source

Negation, Structure, Transformation: Alain Badiou and the New Metaphysics

Open Philosophy, 2018
In this article, I discuss Alain Badiou’s 2008 address titled “The Three Negations.” Though the text was originally presented in a symposium concerning the relationship of law to Badiou’s theory of the event, I discuss the way this brief address offers ...
Vartabedian Becky
doaj   +1 more source

Paraconsistency in the Logic sqŁ*

Axioms
The logic sqŁ* is closely related to complex fuzzy sets. In this paper, we continue our study on sqŁ* by establishing a system that includes all formulas with values 0 in sqŁ*. This system has paraconsistent formulas within sqŁ*. Moreover, we show that this logical system is both sound and weakly complete.
Lei Cai, Wenjuan Chen
openaire   +2 more sources

On Morgado and Sette’s Implicative Hyperlattices as Models of da Costa Logic C_ω

Logics
José Morgado introduced in 1962 a novel notion of hyperlattices, which he called reticuloides. In his master’s thesis submitted in 1971 (under the supervision of Newton da Costa), Antonio M. Sette introduced a new class of implicative hyperlattices (here
Marcelo Esteban Coniglio, Ana Claudia Golzio, Kaique Matias de Andrade Roberto   +2 more
doaj   +1 more source

Paraconsistency, Evidence and Semantic Incompleteness

Análisis Filosófico
In this paper, we argue that the systems Basic Logic of Evidence (BLE) and Logic of Evidence and Truth (LETJ) suffer a kind of semantic incompleteness with respect to the informal notion of evidence.
Edson Bezerra
doaj   +1 more source

Intuitionistic Implication and Logics of Formal Inconsistency

Axioms
Logics of Formal Inconsistency (LFI for short) are a class of paraconsistent logics that validate the principle of gentle explosion, meaning that any formula can be derived from the set of formulas: ∘α, α and ∼α. A unique feature of LFI is the use of the
Janusz Ciuciura
doaj   +1 more source

Logics and admissible rules of constructive set theories. [PDF]

Philos Trans A Math Phys Eng Sci, 2023
Iemhoff R, Passmann R.
europepmc   +1 more source

A Logical Modeling of Severe Ignorance. [PDF]

J Philos Logic, 2023
Bonzio S, Fano V, Graziani P, Pra Baldi M.   +3 more
europepmc   +1 more source