Have a personal or library account? Click to login
Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II Cover

Intuitionistic Propositional Calculus in the Extended Framework with Modal Operator. Part II

Formalized Mathematics
Volume 30 (2022): Issue 1 (April 2022)
By: Takao Inoué and  Riku Hanaoka  
Open Access
|Dec 2022

Download Article

Download the full article as a PDF file.

DOI: https://doi.org/10.2478/forma-2022-0001 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630
Journal RSS Feed
Language: English
Page range: 1 - 12
Accepted on: Apr 30, 2022
Published on: Dec 21, 2022
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
intuitionistic logic,
deduction theorem,
consequence operator
Related subjects:
Computer sciences,
Computer sciences, other,
Mathematics,
General mathematics

© 2022 Takao Inoué, Riku Hanaoka, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.

Volume 30 (2022): Issue 1 (April 2022)Next article