Natural Deduction for Assertibility and Deniability

04/14/2022
by   Vít Punčochář, et al.
0

In this paper we split every basic propositional connective into two versions, one is called extensional and the other one intensional. The extensional connectives are semantically characterized by standard truth conditions that are relative to possible worlds. Assertibility and deniability of sentences built out of atomic sentences by extensional connectives are defined in terms of the notion of truth. The intensional connectives are characterized directly by assertibility and deniability conditions without the notion of truth. We pay special attention to the deniability condition for intensional implication. We characterize the logic of this mixed language by a system of natural deduction that sheds some light on the inferential behaviour of these two kinds of connectives and on the way they can interact.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
02/15/2002

Nonmonotonic Logics and Semantics

Tarski gave a general semantics for deductive reasoning: a formula a may...
research
03/17/2023

On decidable extensions of Propositional Dynamic Logic with Converse

We describe a family of decidable propositional dynamic logics, where at...
research
04/22/2009

Toggling operators in computability logic

Computability logic (CL) (see http://www.cis.upenn.edu/ giorgi/cl.html )...
research
10/15/2019

Probability Logic

This chapter presents probability logic as a rationality framework for h...
research
06/09/2014

Tableaux for Dynamic Logic of Propositional Assignments

The Dynamic Logic for Propositional Assignments (DL-PA) has recently bee...
research
02/23/2018

Implicit definability of truth constants in Łukasiewicz logic

In the framework of propositional Łukasiewicz logic, a suitable notion o...
research
07/19/2021

Dormancy-aware timed branching bisimilarity

A variant of the standard notion of branching bisimilarity for processes...

Please sign up or login with your details

Forgot password? Click here to reset