Results 81 to 90 of about 806,990 (259)

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

Relevant Logics Obeying Component Homogeneity [PDF]

, 2018
This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results.
Ciuni, Roberto, Ferguson, Thomas Macaulay, Szmuc, Damian   +2 more
core   +1 more source

The ubiquity of conservative translations

, 2012
We study the notion of conservative translation between logics introduced by Feitosa and D'Ottaviano. We show that classical propositional logic (CPC) is universal in the sense that every finitary consequence relation over a countable set of formulas can
da Silva, D’Ottaviano, D’Ottaviano, D’Ottaviano, D’Ottaviano, EMIL JEŘÁBEK, Galatos, Lau, Post   +8 more
core   +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

Normality Operators and Classical Collapse [PDF]

, 2018
In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not.
Carrara, Massimiliano, Ciuni, Roberto
core  

Paradeduction in Axiomatic Formal Systems

, 2022
The concept of paradeduction is presented in order to justify that we can overlook contradictory information taking into account only what is consistent.
Costa-Leite, Alexandre, de Souza, Edelcio G., Dias, Diogo H. B.   +2 more
core  

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

Monitoring electrical systems data-network equipment by means of Fuzzy\n and Paraconsistent Annotated Logic [PDF]

, 2021
Hyghor Miranda Côrtes, Paulo E. Santos, João Inácio da Silva Filho   +2 more
openalex   +1 more source