Results 1 to 10 of about 59 (47)

Two 4-valued implicative expansions of first-degree entailment logic: The relevant logic BN4VSP and the (relevant) entailment logic BN4AP

Journal of Logic and Computation, 2023
AbstractA logic L has the ‘variable-sharing property’ (VSP) if in all L-theorems of the form $A\rightarrow B$, $A$ and $B$ share at least a propositional variable. A logic L has the ‘Ackermann property’ (AP) if in all L-theorems of the form $A\rightarrow (B\rightarrow C)$, $A$ contains at least a conditional connective ($\rightarrow $).
Gemma Robles, Robles Gemma
exaly   +4 more sources

A Natural Deduction System for First Degree Entailment

Notre Dame Journal of Formal Logic, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Tamminga, A.M., Tanaka, K.
exaly   +8 more sources

Basic Four-Valued Systems of Cyclic Negations

Bulletin of the Section of Logic, 2022
We consider an example of four valued semantics partially inspired by quantum computations and negation-like operations occurred therein. In particular we consider a representation of so called square root of negation within this four valued semantics as
Oleg Grigoriev, Dmitry Zaitsev
doaj   +1 more source

The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework)

Bulletin of the Section of Logic, 2021
We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to
Damian E. Szmuc
doaj   +1 more source

Заперечення, правда та хибність

Філологічні студії, 2023
Ця стаття включає тематично пов'язані питання про заперечення в областях філософії логіки, філософської логіки та метафізики. Він підкреслює центральну проблему заперечення певної галузі філософії.
I.A. Bekhta, Olesya Tatarovska
doaj   +1 more source

Kripke-Style Models for Logics of Evidence and Truth

Axioms, 2020
In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment (FDE) with a classicality operator ∘ that recovers classical ...
Henrique Antunes, Walter Carnielli, Andreas Kapsner, Abilio Rodrigues   +3 more
doaj   +1 more source

A semantical analysis of implicational systemI and of the first degree of entailment

Mathematische Annalen, 1972
exaly   +3 more sources

First Degree Entailment with Group Attitudes and Information Updates [PDF]

, 2019
We extend the epistemic logic with De Morgan negation by Fagin et al. (Artif. Intell. 79, 203-240, 1995) by adding operators for universal and common knowledge in a group of agents, and with a formalization of information update using a generalized version of the left division connective of the non-associative Lambek calculus.
Igor Sedlár, Vít Puncochár, Andrew Tedder   +2 more
openaire   +2 more sources

Correspondence Analysis for First Degree Entailment

Logical Investigations, 2016
In this paper natural deduction systems for four-valued logic $FDE$ (first degree entailment) and its extensions are constructed. At that B. Kooi and A. Tamminga’s method of correspondence analysis is used. All possible four-valued unary $\star$ and binary $\circ $ propositional connectives which could be added to $FDE$ are considered.
openaire   +4 more sources

Revisitando a Lógica de Dunn-Belnap

Manuscrito
RESUMO O presente artigo apresenta uma semântica baseada nas atitudes cognitivas de aceitação e rejeição por uma sociedade de agentes para lógicas inspiradas no First Degree Entailment (E) de Dunn e Belnap.
Carolina Blasio
doaj   +1 more source