The Resolution Calculusby Alexander Leitsch
- 期刊名称Studia Logica: An International Journal for Symbolic Logic
- 作者Review by: Koji Tanaka
- 卷第64卷
- 期第1期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小241.21KB
- 发表时间2000-02
- DOI10.2307/20016131
Quantifiers on distributive latticesRoberto Cignoli · 1991
FreeQ-distributive latticesRoberto Cignoli · Studia Logica · 1996
Ayda Ignez Arruda (1936–1983)Roberto Cignoli · Studia Logica · 1984
Free MVn-algebrasManuela Busaniche; Roberto Cignoli · 2008
Free cancellative hoopsRoberto Cignoli; Antoni Torrens · Algebra Universalis · 2000
Free Stone algebrasRoberto Cignoli; Antoni Torrens · 2000
Injective de Morgan and Kleene AlgebrasRoberto Cignoli · Proceedings of the American Mathematical Society · 1975
Boolean multiplicative closures, IICignoli, Roberto · Proceedings of the Japan Academy · 1966
Vagueness || Reasoning with Slippery PredicatesStewart Shapiro · Studia Logica: An International Journal for Symbolic Logic · 2008
A Compact Representation of ProofsDale A. Miller · Studia Logica: An International Journal for Symbolic Logic · 1987
Minimally Inconsistent LPGraham Priest · Studia Logica: An International Journal for Symbolic Logic · 1991
O dwojakim rozumieniu uzasadniania dedukcyjnegoMaria Kokoszyńska · Studia Logica: An International Journal for Symbolic Logic · 1962
Combining Logics II || Front MatterStudia Logica: An International Journal for Symbolic Logic · 1997
On Proofs of RejectionWalenty Staszek · Studia Logica: An International Journal for Symbolic Logic · 1971
On Deontic LogicLeon Gumański · Studia Logica: An International Journal for Symbolic Logic · 1980
Logic of Action || Back MatterStudia Logica: An International Journal for Symbolic Logic · 1992