A propositional system induced by Japaridze's approach to IF logic

DOI10.1093/JIGPAL/JZU020zbMath1405.03073arXiv1402.4172OpenAlexW2963419277MaRDI QIDQ4644501

Wenyan Xu

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1402.4172

zbMATH Keywords

IF logiccomputability logiccirquent calculus

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (2)

A cirquent calculus system with clustering and ranking ⋮ Cirquent Calculus in a Nutshell

This page was built for publication: A propositional system induced by Japaridze's approach to IF logic