Results 51 to 60 of about 132 (129)

Sobre a lógica deôntica não-clássica

Crítica, 2018
Our starting point, in this basically expository paper, is the study of a classical system of deontic propositional logic, classical in the sense that it constitutes an extension of the classical propositional calculus.
Leila Z. Puga, Newton C.A. da Costa
doaj   +1 more source

Inferential Interpretations of Many-Valued Logics

Logics
Non-Tarskian interpretations of many-valued logics have been widely explored in the logic literature. The development of non-tarskian conceptions of logical consequence set the theoretical foundations for rediscovering well-known (Tarskian) many-valued ...
Sanderson Molick
doaj   +1 more source

Lógicas normativas, moral y derecho

Crítica, 2018
The relationships between moral and legal codes, that is, between specific normative sets, is a traditional problem of ethics, politics and law philosophy. Deontic logics have provided some instruments for a deeper analysis of those relations.
Leila Z. Puga, Newton C. A. da Costa, Roberto J. Vernengo   +2 more
doaj   +1 more source

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

Co-constructive Logics for Proofs and Refutations

Studia Humana, 2015
This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature of constructive truth, and
Trafford James
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

Paraconsistent Modal Logics

Electronic Notes in Theoretical Computer Science, 2011
AbstractWe introduce a modal expansion of paraconsistent Nelson logic that is also as a generalization of the Belnapian modal logic recently introduced by Odintsov and Wansing. We prove algebraic completeness theorems for both logics, defining and axiomatizing the corresponding algebraic semantics.
openaire   +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

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