Publication schedule
-
№4 December 2025
-
№1 March 2026Submission deadline: 27 February 2026
-
№2 June 2026Submission deadline: 29 May 2026
-
№3 September 2026Submission deadline: 31 August 2026
Articles by keywords "sequent calculus"
An Experimental Computer Program for Automated Reasoning in Intuitionistic Logic Using the Inverse Method
- Year: 2015
- Issue: 6
- 353
- 8437
- Pages: 70-80
Efficient Implementation of the Inverse Method for First-Order Intuitionistic Logic
- Year: 2017
- Volume: 10
- Issue: 1
- 79
- 7934
- Pages: 49-62