Finite Tree-Countermodels via Refutation Systems in Extensions of Positive Logic with Strong Negation

Logica Universalis 17 (4):433-441 (2023)
  Copy   BIBTEX

Abstract

A sufficient condition for an extension of positive logic with strong negation to be characterized by a class of finite trees is given.

Categories

Keywords

Reprint years

DOI

10.1007/s11787-023-00338-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Conservative Negation Extension of Positive Semilattice Logic Without the Finite Model Property.Yale Weiss - 2020 - Studia Logica 109 (1):125-136.
On extensions of intermediate logics by strong negation.Marcus Kracht - 1998 - Journal of Philosophical Logic 27 (1):49-73.
An Extended Paradefinite Logic Combining Conflation, Paraconsistent Negation, Classical Negation, and Classical Implication: How to Construct Nice Gentzen-type Sequent Calculi.Norihiro Kamide - 2022 - Logica Universalis 16 (3):389-417.
A Square of Oppositions in Intuitionistic Logic with Strong Negation.François Lepage - 2016 - Logica Universalis 10 (2-3):327-338.
Polarity Semantics for Negation as a Modal Operator.Yuanlei Lin & Minghui Ma - 2020 - Studia Logica 108 (5):877-902.
Semi-intuitionistic Logic with Strong Negation.Juan Manuel Cornejo & Ignacio Viglizzo - 2018 - Studia Logica 106 (2):281-293.
Hierarchies in transitive closure logic, stratified Datalog and infinitary logic.Erich Grädel & Gregory L. McColm - 1996 - Annals of Pure and Applied Logic 77 (2):169-199.
Kant’s Antinomies of Pure Reason and the ‘Hexagon of Predicate Negation’.Peter McLaughlin & Oliver Schlaudt - 2020 - Logica Universalis 14 (1):51-67.
Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness.Sándor Jenei - 2022 - Archive for Mathematical Logic 62 (1):67-86.
The Internal Logic and Finite Colimits.William Troiani - forthcoming - Logica Universalis:1-40.

Analytics

Added to PP
2023-09-16

Downloads
9 (#1,268,194)

6 months
7 (#592,600)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Connexive Modal Logic.H. Wansing - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 367-383.

Add more references