Petra Murinová

dblp:36/3358 · DBLP profile ↗
← Back
30ranked-venue papers
16as first author
16since 2021 · last 2026
0009-0000-4204-3955ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 29 · 15 first-author · 16 since 2021Databases, data management, data science and information retrieval · 11 · 5 first-author · 4 since 2021Theory of computation · 2 · 1 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 1 first-author · 2 since 2021
YearPublicationVenuePosition
2026 Intermediate syllogisms and non-monotonic reasoning
abstract
In this article, we will show how relations forming the graded Peterson's square of opposition (contrary, contradictory, sub-contrary and sub-alterns) are connected with intermediate logical syllogisms, i.e., syllogisms that contain intermediate quantifiers. Our results are related to the theory of non-monotonic reasoning.
Vilém Novák, Petra Murinová
Int. J. Approx. Reason.2
2025 Verification of Validity of Generalized Logical Syllogisms Applying the Contraposition
Karel Fiala, Petra Murinová
EUSFLAT (1)2
2025 Verification of Validity of Logical Syllogisms Generated by Cube of Opposition Using Extended Peterson's Rules
Petra Murinová, Vilém Novák
EUSFLAT (1)1
2025 Linguistic Interpretation of Natural Data Using Intermediate Quantifiers Relate to Graded Cube of Opposition
Petra Murinová, Karel Fiala
IJCCI (1)1
2025 Aristotle's square for mining fuzzy concepts
Stefania Boffa, Petra Murinová
Fuzzy Sets Syst.2
2025 Graded hexagon of opposition in fuzzy natural logic with new intermediate quantifiers
abstract
In this article, we will form a graded hexagon of opposition as an extension of the graded Peterson's square, incorporating new variations of intermediate quantifiers. We will start with the classical Aristotle's square of opposition and its extension to hexagon. Then we introduce the graded square of opposition that was suggested by Peterson and fully formalized by the authors. We also introduce quantifiers A few ( A little ) and Several and include them in the latter. Then we introduce new forms of quantifiers and study relations of contrary, sub-contrary, contradictory and sub-(sup-)altern among them. On the basis of the knowledge of the relations among all the intermediate quantifiers we construct the graded Peterson's hexagon of opposition.
Petra Murinová, Karel Fiala, Stefania Boffa, Vilém Novák
Int. J. Approx. Reason.1
2024 Logical syllogisms with "Almost all, Most, Many, A few" and "Several"
abstract
This paper delves into logical syllogisms featuring intermediate quantifiers. In our previous works, we established the validity of logical syllogisms involving fundamental intermediate quantifiers “Almost all”, “Most”, and “Many”. In this paper, we focus on syllogisms incorporating also the quantifiers “Several” and “A few (A little)”.
Petra Murinová, Vilém Novák
Int. J. Approx. Reason.1
2023 Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules
Vilém Novák, Petra Murinová
Int. J. Approx. Reason.2
2022 Comparing Hexagons of Opposition in Probabilistic Rough Set Theory
Stefania Boffa, Davide Ciucci, Petra Murinová
IPMU (1)3
2022 Modelling of Fuzzy Peterson's Syllogisms Related to Graded Peterson's Cube of Opposition
Karel Fiala, Petra Murinová
IPMU (1)2
2022 On Modeling of Fuzzy Peterson's Syllogisms Using Peterson's Rules
Petra Murinová, Vilém Novák
IPMU (1)1
2022 Analysis of Peterson's Rules for Syllogisms with Intermediate Quantifiers
Vilém Novák, Petra Murinová
IPMU (1)2
2022 Graded cubes of opposition in fuzzy formal concept analysis
abstract
We recently introduced special fuzzy quantifiers named quantifier-based operators to form extended fuzzy concept lattices and to construct graded squares, hexagons, octagons and decagons of oppositions. This article aims to extend our previous works by organizing quantifier-based operators in more general structures of oppositions: the so-called graded cubes of opposition and 5-graded cubes of opposition.
Stefania Boffa, Petra Murinová, Vilém Novák, Petr Ferbas
Int. J. Approx. Reason.2
2022 Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
Vilém Novák, Petra Murinová, Petr Ferbas
Int. J. Approx. Reason.2
2021 Graded polygons of opposition in fuzzy formal concept analysis
Stefania Boffa, Petra Murinová, Vilém Novák
Int. J. Approx. Reason.2
2021 A proposal to extend Relational Concept Analysis with fuzzy scaling quantifiers
Stefania Boffa, Petra Murinová, Vilém Novák
Knowl. Based Syst.2
2020 Graded Decagon of Opposition with Fuzzy Quantifier-Based Concept-Forming Operators
Stefania Boffa, Petra Murinová, Vilém Novák
IPMU (3)2
2020 Graded Cube of Opposition with Intermediate Quantifiers in Fuzzy Natural Logic
Petra Murinová, Vilém Novák
IPMU (3)1
2020 On the Properties of Intermediate Quantifiers and the Quantifier "MORE-THAN"
Vilém Novák, Petra Murinová, Stefania Boffa
IPMU (3)2
2020 The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of "Many"
Petra Murinová, Vilém Novák
Fuzzy Sets Syst.1
2019 Generalized Intermediate Syllogisms with More Premises
abstract
In real world, interpretation of natural data using a natural language is very popular. In our previous papers, we introduced mathematical definitions of intermediate quantifiers, which were used for an analysis of natural data using fuzzy association rules. The main objective of this paper is to show how we can apply the theory of syllogistic reasoning for a derivation of new information which is not included in data. An idea of this paper is to use generalized structure of syllogisms with more premises.
Petra Murinová
FUZZ-IEEE1
2018 Fuzzy Association Rules on Data with Undefined Values
Petra Murinová, Viktor Pavliska, Michal Burda
IPMU (3)1
2018 Association Analysis on Interval-Valued Fuzzy Sets
Petra Murinová, Viktor Pavliska, Michal Burda
MDAI1
2016 Graded Generalized Hexagon in Fuzzy Natural Logic
Petra Murinová, Vilém Novák
IPMU (2)1
2015 Note to semantical interpretation of non-trivial syllogisms with intermediate quantifiers
abstract
This paper is a contribution to the study of a special kind of syllogisms with intermediate quantifiers. We stem from our previous papers where a formal theory of the intermediate quantifiers was introduced. Besides other results, we syntactically proved validity of 105 basic syllogisms with them. We also demonstrated how our theory works in the semantic interpretation. In this paper, we will address some special kinds of syllogisms that are non-trivial in the sense that both premises as well as conclusion contain general intermediate quantifiers.
Petra Murinová, Vilém Novák
FUZZ-IEEE1
2014 On General Properties of Intermediate Quantifiers
Vilém Novák, Petra Murinová
IPMU (2)2
2014 Analysis of generalized square of opposition with intermediate quantifiers
Petra Murinová, Vilém Novák
Fuzzy Sets Syst.1
2014 The structure of generalized intermediate syllogisms
Petra Murinová, Vilém Novák
Fuzzy Sets Syst.1
2013 Semantic Interpretation of Intermediate Quantifiers and Their Syllogisms
Petra Murinová, Vilém Novák
FQAS1
2012 A formal theory of generalized intermediate syllogisms
Petra Murinová, Vilém Novák
Fuzzy Sets Syst.1