Proof theory for positive logic with weak negation

Bílková, Marta; Colacito, Almudena (2020). Proof theory for positive logic with weak negation. Studia logica, 108(4), pp. 649-686. Springer Science + Business Media 10.1007/s11225-019-09869-y

Preview	Text B_lkov_-Colacito2020_Article_ProofTheoryForPositiveLogicWit.pdf - Published Version Available under License Publisher holds Copyright. Download (692kB) | Preview
	Text 1907.05411.pdf - Submitted Version Restricted to registered users only Available under License Publisher holds Copyright. Download (270kB) | Request a copy

Proof-theoreticmethods are developed for subsystems of Johansson’s logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems. In particular, cut-free complete sequent calculi are introduced and used to provide a proof of the fact that the systems satisfy the Craig interpolation property. Alternative versions of the calculi are later obtained by means of an appropriate loop-checking history mechanism. Termination of the new calculi is proved, and used to conclude that the considered logical systems are PSPACE-complete.

Interest & Impact

Downloads

2 since deposited on 10 Feb 2021
0 in the past 12 months

Citations

5 Citations in Web of Science ®
6 Citations in Scopus

Search

in Google Scholar™

Services

Actions (login required)

Edit item

Actions (login required)

Edit item