Sequent calculus Sk4 for skolemized formulas

Andrejus Belovas; Stanislovas Norgėla

doi:10.15388/LMR.2005.26672

Articles

Andrejus Belovas

Vilnius University

Stanislovas Norgėla

Vilnius University

Published 2005-12-18

https://doi.org/10.15388/LMR.2005.26672

PDF

How to Cite

Belovas, A. and Norgėla, S. (2005) “Sequent calculus Sk4 for skolemized formulas”, Lietuvos matematikos rinkinys, 45(spec.), pp. 316–320. doi:10.15388/LMR.2005.26672.

Download Citation

Abstract

There is not abstract.

PDF

This work is licensed under a Creative Commons Attribution 4.0 International License.

Downloads

Download data is not yet available.

Most read articles by the same author(s)

Stanislovas Norgėla, Decidability of a monadic subclass of modal logic S4 , Lietuvos matematikos rinkinys: Vol. 42 (2002)
Stanislovas Norgėla, Resolution method for some class of formulas of modal logic S4 , Lietuvos matematikos rinkinys: Vol. 44 (2004)

<< < 1 2