Results 61 to 70 of about 47,472 (286)

Fixed-point elimination in the intuitionistic propositional calculus

, 2016
It is a consequence of existing literature that least and greatest fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic models of the Intuitionistic Propositional Calculus-always exist, even when these algebras are not complete
A Arnold, A Bauer, A Kock, Albert Visser, AM Pitts, D Kozen, F Dau, G D’Agostino, G D’Agostino, G Gentzen, G Kelly, JRB Cockett, L Alberucci, L Alberucci, N Bertrand, P Clairambault, S Frittella, S Ghilardi, S Ghilardi, SI Mardaev, SI Mardaev, W Ruitenburg   +21 more
core   +2 more sources

Price Premiums for Single‐Name and Compound‐Name Geographical Indications in Swiss Cheese Trade

Agribusiness, EarlyView.
ABSTRACT Geographical indications (GIs) have become increasingly important in agri‐food markets, especially in Europe. For Swiss cheese imports and exports, we analyze whether GIs are associated with higher trade prices. We find that price premiums can be obtained for both exports and imports. However, this is only the case for cheeses with single name
Judith Irek
wiley   +1 more source

Extracting verified decision procedures: DPLL and Resolution [PDF]

Logical Methods in Computer Science, 2015
This article is concerned with the application of the program extraction technique to a new class of problems: the synthesis of decision procedures for the classical satisfiability problem that are correct by construction.
Ulrich Berger, Andrew Lawrence, Fredrik Nordvall Forsberg, Monika Seisenberger   +3 more
doaj   +1 more source

LEARNING MODULE ANALYSIS OF PYTHAGOREAN THEOREM BASED ON SCIENTIFIC APPROACH

Jurnal Pendidikan Matematika dan IPA, 2022
One of the basic competencies in class VIII contains the Pythagorean theorem. Surveys on students who have studied it, they still remember that the proposition is related to a right triangle.
Yus Mochamad Cholily, Putri Ayu Kusgiarohmah   +1 more
doaj   +1 more source

Investigation of Hexagonal Honeycomb Topology for Impact Optimization in Energetic Material

Asia-Pacific Journal of Chemical Engineering, EarlyView.
ABSTRACT The regulation of the mechanical properties of energetic materials manufactured by traditional processes is constrained. However, the introduction of lattice structures can facilitate the regulation of mechanical properties without necessitating alterations to the materials themselves. Using finite element analysis and experimental validation,
Xueye Chen, Bin Yang, Linna Zhang, Zhihao Ding, Weitao Yang   +4 more
wiley   +1 more source

Satisfiability Threshold of Random Propositional S5 Theories

Axioms
Modal logic S5, which isan important knowledge representation and reasoning paradigm, has been successfully applied in various artificial-intelligence-related domains.
Zaihang Su, Yisong Wang, Renyan Feng, Chan Zhou   +3 more
doaj   +1 more source

Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? [PDF]

Logical Methods in Computer Science, 2018
Many reasoning problems are based on the problem of satisfiability (SAT). While SAT itself becomes easy when restricting the structure of the formulas in a certain way, the situation is more opaque for more involved decision problems.
Nadia Creignou, Reinhard Pichler, Stefan Woltran   +2 more
doaj   +1 more source

In Search of a Feminist Theory of Expression

Nordic Wittgenstein Review, 2022
In the Tractactus Logico Philosophicus, Wittgenstein concludes that what cannot be spoken about is better left unsaid, which would correspond to everything that is not scientific language susceptible of being formalized in the propositional framework ...
Luz Ascarate
doaj   +1 more source

Elliptic approximations of propositional formulae

Discrete Applied Mathematics, 1999
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Clustering Complex Data Represented as Propositional Formulas

, 2017
Clustering has been extensively studied to deal with different kinds of data. Usually, datasets are represented as a n-dimensional vector of attributes described by numerical or nominal categorical values. Symbolic data is another concept where the objects are more complex such as intervals, multi-categorical or modal.
Boudane, Abdelhamid, Jabbour, Said, Saïs, Lakhdar, Salhi, Yakoub   +3 more
openaire   +2 more sources