×

zbMATH — the first resource for mathematics

Materna, Pavel

Compute Distance To:
Author ID: materna.pavel Recent zbMATH articles by "Materna, Pavel"
Published as: Materna, Pavel; Materna, P.
Documents Indexed: 42 Publications since 1969, including 3 Books
Reviewing Activity: 168 Reviews

Publications by Year

Citations contained in zbMATH Open

18 Publications have been cited 47 times in 31 Documents Cited by Year
Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic. Zbl 1207.03009
Duží, Marie; Jespersen, Bjørn; Materna, Pavel
22
2010
Concepts as hyperintensional objects. Zbl 1321.03017
Materna, Pavel
5
2014
Conceptual systems. Zbl 1078.03004
Materna, Pavel
3
2004
Can concepts be defined in terms of sets? Zbl 1246.03016
Duží, Marie; Materna, Pavel
2
2010
Rules of existential quantification into “intensional contexts”. Zbl 0889.03006
Materna, Pavel
2
1997
The notion of problem, intuitionism and partiality. Zbl 1182.03020
Materna, Pavel
1
2008
Theory of types and data description. Zbl 0402.68060
Materna, Pavel
1
1978
An intensional approach to questions. Zbl 0412.03001
Materna, Pavel
1
1979
On understanding and believing. Zbl 0565.03004
Materna, Pavel
1
1983
Optional participants in a semantic interpretation (arity of predicates and case frames of verbs). Zbl 0579.68048
Materna, Pavel; Sgall, Petr
1
1983
Entity sorts: what are they? Zbl 0633.03002
Materna, Pavel
1
1987
Redundant answers and topic-focus articulation. Zbl 0655.03014
Materna, Pavel; Hajičová, Eva; Sgall, Petr
1
1987
Applying simple theory of types to data bases. Zbl 0482.68093
Materna, Pavel; Pokorny, Jaroslav
1
1981
Transparent intensional logic. Zbl 0532.03010
Materna, P.
1
1982
Attributes: Distinguishing capability versus informational capability. Zbl 0695.68065
Duži, Marie; Materna, Pavel
1
1990
Ordinary modalities. Zbl 1108.03024
Materna, Pavel
1
2005
Logical form. Zbl 1151.03309
Duží, Marie; Materna, Pavel
1
2005
Is transparent intensional logic a non-classical logic? Zbl 1321.03018
Materna, Pavel
1
2014
Concepts as hyperintensional objects. Zbl 1321.03017
Materna, Pavel
5
2014
Is transparent intensional logic a non-classical logic? Zbl 1321.03018
Materna, Pavel
1
2014
Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic. Zbl 1207.03009
Duží, Marie; Jespersen, Bjørn; Materna, Pavel
22
2010
Can concepts be defined in terms of sets? Zbl 1246.03016
Duží, Marie; Materna, Pavel
2
2010
The notion of problem, intuitionism and partiality. Zbl 1182.03020
Materna, Pavel
1
2008
Ordinary modalities. Zbl 1108.03024
Materna, Pavel
1
2005
Logical form. Zbl 1151.03309
Duží, Marie; Materna, Pavel
1
2005
Conceptual systems. Zbl 1078.03004
Materna, Pavel
3
2004
Rules of existential quantification into “intensional contexts”. Zbl 0889.03006
Materna, Pavel
2
1997
Attributes: Distinguishing capability versus informational capability. Zbl 0695.68065
Duži, Marie; Materna, Pavel
1
1990
Entity sorts: what are they? Zbl 0633.03002
Materna, Pavel
1
1987
Redundant answers and topic-focus articulation. Zbl 0655.03014
Materna, Pavel; Hajičová, Eva; Sgall, Petr
1
1987
On understanding and believing. Zbl 0565.03004
Materna, Pavel
1
1983
Optional participants in a semantic interpretation (arity of predicates and case frames of verbs). Zbl 0579.68048
Materna, Pavel; Sgall, Petr
1
1983
Transparent intensional logic. Zbl 0532.03010
Materna, P.
1
1982
Applying simple theory of types to data bases. Zbl 0482.68093
Materna, Pavel; Pokorny, Jaroslav
1
1981
An intensional approach to questions. Zbl 0412.03001
Materna, Pavel
1
1979
Theory of types and data description. Zbl 0402.68060
Materna, Pavel
1
1978

Citations by Year