Tomasz Połacik

zbMath Openpolacik.tomaszMaRDI QIDQ190318

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Classically archetypal rules The Review of Symbolic Logic	2018-08-07	Paper
A semantic approach to conservativity Studia Logica	2016-05-17	Paper
Simple axioms that are obviously true in \(\mathbb{N}\) The Review of Modern Logic	2015-01-19	Paper
Bisimulation reducts and submodels of intuitionistic first-order Kripke models	2014-04-29	Paper
scientific article; zbMATH DE number 6163273 (Why is no real title available?)	2013-05-15	Paper
Back and Forth Between First-Order Kripke Models Logic Journal of the IGPL	2008-11-13	Paper
Anti-chains, focuses and projective formulas	2007-04-25	Paper
Partially-Elementary Extension Kripke Models: A Characterization and Applications Logic Journal of the IGPL	2006-07-06	Paper
The Unique Intermediate Logic Whose Every Rule is Archetypal Logic Journal of the IGPL	2005-10-18	Paper
scientific article; zbMATH DE number 2152688 (Why is no real title available?)	2005-04-05	Paper
scientific article; zbMATH DE number 2015268 (Why is no real title available?)	2003-12-09	Paper
Pitts' quantifiers are not topological quantification Notre Dame Journal of Formal Logic	2001-07-17	Paper
scientific article; zbMATH DE number 1463152 (Why is no real title available?)	2001-03-09	Paper
scientific article; zbMATH DE number 1463255 (Why is no real title available?)	2000-06-21	Paper
Propositional quantification in the monadic fragment of intuitionistic logic Journal of Symbolic Logic	1998-09-14	Paper
scientific article; zbMATH DE number 1088204 (Why is no real title available?)	1998-05-06	Paper
scientific article; zbMATH DE number 638368 (Why is no real title available?)	1994-09-13	Paper
Second order propositional operators over Cantor space Studia Logica	1994-06-22	Paper

Research outcomes over time

This page was built for person: Tomasz Połacik