|
|
Operators defined by propositional quantification and their interpretations over Cantor space. Reports on Mathematical Logic, 27 (1993), 67 79.
Second order propositional operators over Cantor space. Studia Logica, 53 (1994), 93 105.
On topological interpretations of some nonstandard intuitionistic propositional operators. Ruch Filozoficzny, LI (1994), 337 340.
Propositional quantification in intuitionistic logic.G.Gottlob, A.Leitsch, D.Mundici (eds.), "Computational Logic and Proof Theory" (Proceedings), 5th K.Gödel Colloquium 1997, Wien; Springer, 255 263.
Zanurzenia algebr Heytinga w przestrzenie topologiczne. Prace Naukowe WSP w Czestochowie. Matematyka V, Czestochowa 1997.
Propositional quantification in the monadic fragment of intuitionistic logic. Journal of Symbolic Logic, 63 (1998), 269 300.
Pitts' quantifiers are not propositional quantification. Notre Dame Journal of Formal Logic, 39 (1998), 531 544.
Models of intuitionistic arithmetic. Prace Naukowe WSP w Czestochowie. Matematyka VI, Czestochowa 1999.
Induction schemata valid in Kripke models of intuitionistic arithmetical theories. Reports on Mathematical Logic 33 (1999), 111 125.
Partially elementary extension Kripke models and Burr's hierarchy. Bulletin of the Section of Logic, 28/4 (1999), 207 213.
Maximum property for propositional quantification. Acta Universitas Wratislaviensis No 2466 (2002), seria: Logika, 61 65.
Quantified intuitionistic propositional logic and Cantor space. Bulletin of the Section of Logic, 32/1,2 (2003), 65 73.
Simple axioms which are obviously true in N, with Wim Ruitenburg. The Review of Modern Logic, 9/1,2 (2001 2003), 67 79.
Kripke models of certain subtheories of Heyting Arithmetic. In "Logic Colloquium '99. Proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, held in Utrecht, Netherlands August 1 6, 1999'' edited by Jan van Eijck, Vincent van Oostrom, Albert Visser. Lecture Notes in Logic 17. A K Peters, Ltd. Natick, Massachusetts, 2004, 136 142.
Anti chains, focuses and projective formulas. Bulletin of the Section of Logic, 34/1 (2005), 1 12.
The unique intermediate logic whose every rule is archetypal. Logic Journal of the IGPL 13/3 (2005) 269 275.
Partially elementary extension Kripke models: a characterization and applications. Logic Journal of the IGPL 14/1 (2006) 73 86.
Back and forth between Kripke models. Logic Journal of IGPL 2008; doi: 10.1093/jigpal/jzn011.
Topological interpretations of second order intuitionistic propositional logic (Abstract). Volume of Abstracts of Tenth International Congress of Logic, Methodology and Philosophy of Science. Florence, 1995.
2.9.2008
|
|
