Pavel Pták

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 2

Top Topics

Consistent Query Answering

Prime Implicants

Partially Ordered Sets

Top Venues

Publications

Václav Vorácek, Pavel Pták
A Symmetric-Difference-Closed Orthomodular Lattice That Is Stateless. Order 40 (2) (2023)
Mirko Navara, Pavel Pták
On Frink Ideals in Orthomodular Posets. Order 38 (2) (2021)
Milan Matousek, Pavel Pták
Orthocomplemented difference lattices with few generators. Kybernetika 47 (1) (2011)
Milan Matousek, Pavel Pták
Orthocomplemented Posets with a Symmetric Difference. Order 26 (1) (2009)
Pavel Pták, Walter G. Kropatsch
Nearness in Digital Images and Proximity Spaces. DGCI (2000)
Walter G. Kropatsch, Pavel Pták
and Classical Topologies. SSPR/SPR (1998)
Mirko Navara, Pavel Pták
Considering uncertainty and dependence in Boolean, quantum and fuzzy logics. Kybernetika 34 (1) (1998)
Pavel Pták, Helmut Kofter, Walter G. Kropatsch
Digital Topologies Revisited: An Approach Based on the Topological Point-Neighbourhood. DGCI (1997)