Edit Profile (opens in new tab) Materna, Pavel Co-Author Distance Author ID: materna.pavel Published as: Materna, Pavel; Materna, P. Documents Indexed: 42 Publications since 1969, including 3 Books Reviewing Activity: 168 Reviews Co-Authors: 8 Co-Authors with 13 Joint Publications 72 Co-Co-Authors all top 5 Co-Authors 29 single-authored 7 Duzi, Marie 3 Sgall, Petr 2 Hajičová, Eva 2 Jespersen, Bjørn 2 Pokorný, Jaroslav 1 Pala, Karel 1 Staníček, Zdenko 1 Zlatuška, Jiří all top 5 Serials 7 Logic and Logical Philosophy 3 Kybernetika 3 Theory and Decision 2 Studia Logica 2 Computers and Artificial Intelligence 1 The Journal of Symbolic Logic 1 Linguistics and Philosophy 1 Logique et Analyse. Nouvelle Série 1 The Prague Bulletin of Mathematical Linguistics 1 Synthese 1 Information Systems 1 Acta Universitatis Wratislaviensis. Logika 1 Bulletin of the Section of Logic 1 Prague Studies in Mathematical Linguistics 1 Logische Philosophie 1 Logic, Epistemology, and the Unity of Science 1 Logicheskie Issledovaniya Fields 40 Mathematical logic and foundations (03-XX) 10 Computer science (68-XX) 1 General and overarching topics; collections (00-XX) 1 Systems theory; control (93-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 19 Publications have been cited 64 times in 43 Documents Cited by ▼ Year ▼ Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic. Zbl 1207.03009Duží, Marie; Jespersen, Bjørn; Materna, Pavel 35 2010 Concepts as hyperintensional objects. Zbl 1321.03017Materna, Pavel 6 2014 Conceptual systems. Zbl 1078.03004Materna, Pavel 5 2004 Rules of existential quantification into “intensional contexts”. Zbl 0889.03006Materna, Pavel 2 1997 Can concepts be defined in terms of sets? Zbl 1246.03016Duží, Marie; Materna, Pavel 2 2010 Redundant answers and topic-focus articulation. Zbl 0655.03014Materna, Pavel; Hajičová, Eva; Sgall, Petr 1 1987 Entity sorts: what are they? Zbl 0633.03002Materna, Pavel 1 1987 Is transparent intensional logic a non-classical logic? Zbl 1321.03018Materna, Pavel 1 2014 Logical form. Zbl 1151.03309Duží, Marie; Materna, Pavel 1 2005 Theory of types and data description. Zbl 0402.68060Materna, Pavel 1 1978 An intensional approach to questions. Zbl 0412.03001Materna, Pavel 1 1979 Ordinary modalities. Zbl 1108.03024Materna, Pavel 1 2005 The notion of problem, intuitionism and partiality. Zbl 1182.03020Materna, Pavel 1 2008 Validity and applicability of Leibniz’s law of substitution of identicals. Zbl 1418.03012Duži, Marie; Materna, Pavel 1 2017 On understanding and believing. Zbl 0565.03004Materna, Pavel 1 1983 Optional participants in a semantic interpretation (arity of predicates and case frames of verbs). Zbl 0579.68048Materna, Pavel; Sgall, Petr 1 1983 Attributes: Distinguishing capability versus informational capability. Zbl 0695.68065Duži, Marie; Materna, Pavel 1 1990 Applying simple theory of types to data bases. Zbl 0482.68093Materna, Pavel; Pokorny, Jaroslav 1 1981 Transparent intensional logic. Zbl 0532.03010Materna, P. 1 1982 Validity and applicability of Leibniz’s law of substitution of identicals. Zbl 1418.03012Duži, Marie; Materna, Pavel 1 2017 Concepts as hyperintensional objects. Zbl 1321.03017Materna, Pavel 6 2014 Is transparent intensional logic a non-classical logic? Zbl 1321.03018Materna, Pavel 1 2014 Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic. Zbl 1207.03009Duží, Marie; Jespersen, Bjørn; Materna, Pavel 35 2010 Can concepts be defined in terms of sets? Zbl 1246.03016Duží, Marie; Materna, Pavel 2 2010 The notion of problem, intuitionism and partiality. Zbl 1182.03020Materna, Pavel 1 2008 Logical form. Zbl 1151.03309Duží, Marie; Materna, Pavel 1 2005 Ordinary modalities. Zbl 1108.03024Materna, Pavel 1 2005 Conceptual systems. Zbl 1078.03004Materna, Pavel 5 2004 Rules of existential quantification into “intensional contexts”. Zbl 0889.03006Materna, Pavel 2 1997 Attributes: Distinguishing capability versus informational capability. Zbl 0695.68065Duži, Marie; Materna, Pavel 1 1990 Redundant answers and topic-focus articulation. Zbl 0655.03014Materna, Pavel; Hajičová, Eva; Sgall, Petr 1 1987 Entity sorts: what are they? Zbl 0633.03002Materna, Pavel 1 1987 On understanding and believing. Zbl 0565.03004Materna, Pavel 1 1983 Optional participants in a semantic interpretation (arity of predicates and case frames of verbs). Zbl 0579.68048Materna, Pavel; Sgall, Petr 1 1983 Transparent intensional logic. Zbl 0532.03010Materna, P. 1 1982 Applying simple theory of types to data bases. Zbl 0482.68093Materna, Pavel; Pokorny, Jaroslav 1 1981 An intensional approach to questions. Zbl 0412.03001Materna, Pavel 1 1979 Theory of types and data description. Zbl 0402.68060Materna, Pavel 1 1978 all cited Publications top 5 cited Publications all top 5 Cited by 28 Authors 8 Novák, Vilém 6 Duzi, Marie 4 Jespersen, Bjørn 3 Kosterec, Miloš 3 Materna, Pavel 2 Berto, Francesco 2 Pezlar, Ivo 2 Raclavský, Jiří 1 Ayhan, Sara 1 Bonevac, Daniel 1 Fox, Chris 1 García-Carpintero, Manuel 1 Hanke, Miroslav 1 Kaneiwa, Ken 1 Lappin, Shalom 1 Leitgeb, Hannes 1 Mizoguchi, Riichiro 1 Murinová, Petra 1 Nguyen, Philip H. P. 1 Pagin, Peter 1 Peregrin, Jaroslav 1 Pollard, Carl 1 Sedlár, Igor 1 Staníček, Zdenko 1 Vaníček, Jiří 1 Vlk, Tomáš 1 Walsh, Sean 1 Więckowski, Bartosz all top 5 Cited in 12 Serials 12 Synthese 5 Journal of Philosophical Logic 5 Kybernetika 4 Fuzzy Sets and Systems 2 Logic and Logical Philosophy 1 International Journal of General Systems 1 The Journal of Symbolic Logic 1 History and Philosophy of Logic 1 New Generation Computing 1 Journal of Applied Non-Classical Logics 1 Erkenntnis 1 TWMS Journal of Pure and Applied Mathematics all top 5 Cited in 6 Fields 39 Mathematical logic and foundations (03-XX) 6 Computer science (68-XX) 2 History and biography (01-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Systems theory; control (93-XX) Citations by Year