Theoretical Computer Science flagPL flagEN
Faculty of Mathematics and Computer Science
Jagiellonian University
 
    informatyka analityczna  
UJ coat of arms
Foundations of Computer Science
 
 

Adam Kolany

PhD

fax: (+48-12) 664 66 72
office: ul. Łojasiewicza 6, 30-348 Kraków
office hours: Wednesday 15:00 - 18:00
 
personal homepage
 
photo

selected publications
  • Robert Cowen, Adam Kolany, Davis-Putnam style Rules for Deciding Property S, Fundamenta Informaticae, accepted for publishing.
  • Kolany Adam, Lattices of non-Locally Finite Hypergraphs are not Heyting, Bulletin of Section of Logic, 35/2-3 (2006)
  • Kolany Adam, Rado Selection Lemma and Other Combinatorial Statements Uniformly Proved, Bulletin of the Section of Logic, 34/3 (2005)
  • Kolany Adam, Grabowski Lattices are Generated by Graphs, Reports on Mathematical Logic, 36 (2002)
  • Kolany Adam, Consequence Operations Based on Hypergraph Satisfiability, Studia Logica, 58(2) (1997)
  • Kolany Adam, Representation Theorems for Hypergraph Satisfiability, Bulletin of the Section of Logic, 26/1 (1997)
  • Kolany Adam, Some Applications of the Resolution on Hypergraphs, Prace Naukowe WSP w Czsstochowie "Matematyka V", (1997)
  • Kolany Adam, A General Method of Solving Smullyan’s Puzzles, Logic and Logical Philosophy, 4 (1996)
  • Kolany Adam, Satisfiability on Hypergraphs, Studia Logica, 52(3) (1993)
  • Kolany Adam, On the Logic of Hypergraphs, Proc. of 3. KGC, Brno, 1993 , (1993)
  • Kolany Adam, On the logic of lie, Bulletin of the Section of Logic, 22/2 (1993)
  • Kolany Adam, Satisfiability on Hypergraphs, Studia Logica, 52(3) (1993)
  • Kolany Adam, Logical Aspects of Hypergraphs, Bulletin of the Section of Logic, 22/1 (1993)
  • Kolany Adam, Hypergraphs and the Intuitionistic Propositional Calculus, Reports on Mathematical Logic, 27 (1993)
  • Kolany Adam, Equivalents of the Compactness Theorem for Locally Finite Sets of Sentences, Bulletin of the Section of Logic, 21/1 (1992)
  • Kolany Adam, Wojtylak Piotr, Restricted Versions of the Compactness Theorem, Reports on Mathematical Logic, 25 (1991)

  • some recent collaborators 
    Cowen RobertCUNY, New York
     
     
      webmaster: email = a@b, a=www-tcs, b=tcs.uj.edu.pl