Tomasz Połacik

Available identifiers

zbMath Open polacik.tomaszMaRDI QIDQ190318

List of research outcomes

Publication	Date of Publication	Type
CLASSICALLY ARCHETYPAL RULES	2018-08-07	Paper
A semantic approach to conservativity	2016-05-17	Paper
Simple axioms that are obviously true in \(\mathbb{N}\)	2015-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5413358	2014-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4919779	2013-05-15	Paper
Back and Forth Between First-Order Kripke Models	2008-11-13	Paper
Anti-chains, focuses and projective formulas	2007-04-25	Paper
Partially-Elementary Extension Kripke Models: A Characterization and Applications	2006-07-06	Paper
The Unique Intermediate Logic Whose Every Rule is Archetypal	2005-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4664256	2005-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q4438096	2003-12-09	Paper
Pitts' quantifiers are not topological quantification	2001-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4487300	2001-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q4487376	2000-06-21	Paper
Propositional quantification in the monadic fragment of intuitionistic logic	1998-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4364519	1998-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4305342	1994-09-13	Paper
Second order propositional operators over Cantor space	1994-06-22	Paper

Research outcomes over time

This page was built for person: Tomasz Połacik