Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,390,429 papers from all fields of science
Search
Sign In
Create Free Account
Cirquent calculus
Cirquent calculus is a proof calculus which manipulates graph-style constructs termed cirquents, as opposed to the traditional tree-style objects…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Computability logic
Proof calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Axiomatizing Japaridze's approach to propositional IF logic
Wenyan Xu
arXiv.org
2014
Corpus ID: 24613729
Cirquent calculus is a new proof-theoretic and semantic approach introduced for the needs of computability logic by G.Japaridze…
Expand
2012
2012
Cirquent Calculus System Cl8s versus Calculus of Structures System Sksg for Propositional Logic
Wenyan Xu
,
Sanyang Liu
Quantitative Logic and Soft Computing
2012
Corpus ID: 120308538
Cirquent calculus and calculus of structures are two approaches to proof theory. Both of them apply deep inference which modifies…
Expand
2012
2012
Open problems in computability logic
G. Japaridze
2012
Corpus ID: 17185664
1. Remark 7 of [6] claims that the cirquent calculus system CL5 without duplication has polynomial size proofs (every provable…
Expand
2010
2010
Deduction Theorem for Symmetric Cirquent Calculus
Wenyan Xu
,
San-yang Liu
2010
Corpus ID: 14467541
Cirquent calculus is a recent approach to proof theory, whose characteristic feature is being based on circuit-style structures…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE