Wyniki
-
On the logic of lie
Adam Kolany
Bulletin of the Section of Logic , 22 /2 (1993) s. 72-79 -
Representation theorems for hypergraph satisfiability
Adam Kolany
Bulletin of the Section of Logic , 26 /1 (1997) s. 12-19 -
Equivalents of the compactness theorem for locally finite sets of sentences
Adam Kolany
Bulletin of the Section of Logic , 21 /1 (1992) s. 12-18 -
Logical aspects of hypergraphs
Adam Kolany
Bulletin of the Section of Logic , 22 /1 (1993) s. 18-23 -
Rado Selection Lemma and Other Combinatorial Statements Uniformly Proved
Adam Kolany
Bulletin of the Section of Logic , 34 /3 (2005) s. 143-149 -
Lattices of non-Locally Finite Hypergraphs are not Heyting
Adam Kolany
Bulletin of the Section of Logic , 35 /2-3 (2006) s. 105-109 -
Changing a Numbering System is Usually Uncomputable
Adam Kolany
Bulletin of the Section of Logic , 40 /1-2 (2011) s. 63-67 -
A general method of solving Smullyan’s puzzles
Adam Kolany
Logic and Logical Philosophy 4 (1996) s. 97-103