Issue Title
Vol 26, No 4 (2017): December Tautology Elimination, Cut Elimination, and S5 Abstract  PDF
Andrzej Indrzejczak
Vol 28, No 4 (2019): December On a multilattice analogue of a hypersequent S5 calculus Abstract  PDF
Oleg Grigoriev, Yaroslav Petrukhin
Vol 28, No 1 (2019): March Fregean Description Theory in Proof-Theoretical Setting Abstract  PDF
Andrzej Indrzejczak
Vol 24, No 3 (2015): September Hypersequent Calculi for S5: The Methods of Cut Elimination Abstract  PDF
Kaja Bednarska, Andrzej Indrzejczak
Vol 29, No 4 (2020): December Free Definite Description Theory – Sequent Calculi and Cut Elimination Abstract  PDF
Andrzej Indrzejczak
Vol 25, No 2 (2016): June Simple cut elimination proof for hybrid logic Abstract  PDF
Andrzej Indrzejczak
Vol 20, No 3 (2011) Admissibility of cut in congruent modal logics Abstract  PDF
Andrzej Indrzejczak
1 - 7 of 7 Items

Search tips:

  • Search terms are case-insensitive
  • Common words are ignored
  • By default only articles containing all terms in the query are returned (i.e., AND is implied)
  • Combine multiple words with OR to find articles containing either term; e.g., education OR research
  • Use parentheses to create more complex queries; e.g., archive ((journal OR conference) NOT theses)
  • Search for an exact phrase by putting it in quotes; e.g., "open access publishing"
  • Exclude a word by prefixing it with - or NOT; e.g. online -politics or online NOT politics
  • Use * in a term as a wildcard to match any sequence of characters; e.g., soci* morality would match documents containing "sociological" or "societal"

Partnerzy platformy czasopism