Computing, Telecommunications and Control
Computing, Telecommunications and Control Peter the Great St. Petersburg Polytechnic University
Since 2008
ISSN 2687-0517
en Английский
Version for the visually impaired
Submit Your Paper
Publication schedule
  • №4 December 2025
  • №1 March 2026
    Submission deadline: 27 February 2026
  • №2 June 2026
    Submission deadline: 29 May 2026
  • №3 September 2026
    Submission deadline: 31 August 2026

Articles by keywords "sequent calculus"

An Experimental Computer Program for Automated Reasoning in Intuitionistic Logic Using the Inverse Method

Intelligent Systems and Technologies, Artificial Intelligence
Pavlov V.A. Pak V.G.
  • Year: 2015
  • Issue: 6
  • 353
  • 8540
  • Pages: 70-80

Efficient Implementation of the Inverse Method for First-Order Intuitionistic Logic

Software of Computer, Telecommunications and Control Systems
Pavlov V.A.
  • Year: 2017
  • Volume: 10
  • Issue: 1
  • 79
  • 8047
  • Pages: 49-62