Get started
Author

Petr Kuchyňka

Observed name: Kuchyňka, Petr
Institution: Masaryk University
Observed institution: Masaryk University
OpenAlex ID: A5043692465
Conceptual and derivation systems
2013 · Jiří Raclavský, Petr Kuchyňka · Logic and Logical Philosophy · 7
PDF
Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator
2015 · Jiří Raclavský, Petr Kuchyňka, et al. · 3
Completeness in partial type theory
2023 · Petr Kuchyňka, Jiří Raclavský · Journal of Logic and Computation · 1
Pojmy a vědecké teorie
2014 · Jiří Raclavský, Petr Kuchyňka
Transparent intensional logic as an action logic and deonticlogic
2011 · Jiří Raclavský, Petr Kuchyňka
Tichý's Transparent Intensional Logic and Conceptual/DerivationSystems
2010 · Jiří Raclavský, Petr Kuchyňka
The Use of Project Management Methodologies for Implementation of Information Systems; their Comparison and Use in Practice
2010 · Kuchyňka, Petr · Digital Repository (National Repository of Grey Literature)
Works count: 8
Citation count: 11
H-index: 2
I10-index:
Year
Topic
Type