Bases of admissible rules of the logics S4 and Int
Year: 1985
Type: article
Source: Algebra and Logic
DOI: 10.1007/bf01978706
Author: V. V. Rybakov
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2019740327