Search CORE

4 research outputs found

Dual Erotetic Calculi and the Minimal ${\mathsf{LFI}}$ LFI

Author: A. Wiśniewski
A. Wiśniewski
A. Wiśniewski
D. Batens
D. Leszczyńska-Jasion
Dorota Leszczyńska-Jasion
J. A. Robinson
M. Fitting
R. M. Smullyan
S. Negri
Szymon Chlebowski
T. F. Skura
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Loop-free calculus for modal logic S4. II

Author: D Leszczyńska-Jasion
J Andrikonis
Julius Andrikonis
M Fitting
S Kanger
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Rasiowa–Sikorski Deduction Systems with the Rule of Cut: A Case Study

Author: A Grzelak
A Wiśniewski
A Wiśniewski
A Wiśniewski
A Wiśniewski
B Konikowska
C Caleiro
D Batens
D Batens
D Batens
D Batens
D Batens
D Leszczyńska-Jasion
D Leszczyńska-Jasion
Dorota Leszczyńska-Jasion
G Boolos
H Rasiowa
H Rasiowa
J Golińska-Pilarek
J Golińska-Pilarek
JC Agudelo-Agudelo
M D’Agostino
M D’Agostino
M Fitting
M Fitting
M Urbański
Mateusz Ignaszak
R Hählne
RM Smullyan
Sz Chlebowski
Szymon Chlebowski
WA Carnielli
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

A Survey of Nonstandard Sequent Calculi

Author: A. Avron
A. Indrzejczak
A. Indrzejczak
A. Wiśniewski
Andrzej Indrzejczak
D Leszczyńska-Jasion
D. Belnap N.
G. Gentzen
G. Gentzen
H. Leblanc
H. Leblanc
H. Nishimura
J. Plato von
K. Dos̆en
K. Dos̆en
K. Popper
P. Hertz
P. Schroeder-Heister
P. Schroeder-Heister
P. Stouppa
R. Kashima
R. Suszko
S Blamey
S. Jaśkowski
W.A. Carnielli
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

core

core