Results 41 to 50 of about 9,375 (201)
Ticket Entailment is decidable [PDF]
Mathematical Structures in Computer Science, 2012 We prove the decidability of the logic T→ of Ticket Entailment. This issue was first raised by Anderson and Belnap within the framework of relevance logic, and is equivalent to the question of the decidability of type inhabitation in simply typed combinatory logic with the partial basis BB′IW.
openaire +5 more sources
The Scope of Rent in Tax Law with Emphasis on Its Jurisprudential and Legal Concept [PDF]
Faṣlnāmah-i Pizhūhish-i Huqūq-i ̒UmūmīIntroductionThe real estate rent is one of the significant sources of tax revenue. Although a considerable number of taxpayers fall under this category, rental tax continues to play a unique role in the cohesion of different tax sources, as other sources
Hamid Reza Salehi +2 more
doaj +1 more source
Logic and Logical Philosophy, 2017 Summary: A semantic relation between a family of sets of formulas and a set of formulas, dubbed generalized entailment, and its subrelation, called constructive generalized entailment, are defined and examined. Entailment construed in the usual way and multiple-conclusion entailment can be viewed as special cases of generalized entailment.
openaire +2 more sources
Some consequence relations on propositional formulas [PDF]
Serbian Journal of Electrical Engineering, 2011 Consequence relations on propositional formulas are binary relations on propositional formulas that represent certain types of entailment - formal or semi-formal derivation of conclusion from a certain set of premises.
Borovčanin Momčilo
doaj +1 more source
LOGIC FOR EXACT ENTAILMENT [PDF]
The Review of Symbolic Logic, 2019 AbstractAn exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the
Kit Fine, Mark Jago
openaire +1 more source
, 2017 We here propose a solution to the problem we have raised. Basically, the mathematical notion of entailment seems to be connected to the inferential rules from Classical Logic, so that if we have P: x belongs to the reals, and Q: x+2=5 =\u3e x=3,
Pinheiro, Marcia Ricci
core +3 more sources
The role and status of women in Vaghf institutions from Safavi until Contemporary Era (Case Study: Birjand, darmiyan, Sarbishe) [PDF]
زن در فرهنگ و هنر, 2012 Women, as half of the effectual population of Iranian society, have always been active in different aspects of life including social, economic, political and cultural ones.
mofid shateri, Razieh Arezoumandan
doaj +1 more source
Recognising Textual Entailment Focusing on Non-Entailing Text and Hypothesis [PDF]
, 2008 This paper describes a predominantly shallow ap-proach to the rte-4 Challenge. We focus our at-tention on the non-entailing Text and Hypothesis pairs in the dataset. The system uses a Maximum Entropy framework to classify each pair of Text and Hypothesis
Nahnsen, Thade +3 more
core
Entailment among probabilistic implications [PDF]
, 2015 We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-like connective, the semantics of this sort of implication is defined in ...
Balcázar Navarro, José Luis +3 more
core +1 more source
Heraldry and entailment identity in pre-modern Portugal
Eikón ImagoLike the nobilities and aristocracies of pre-modern Europe, many Portuguese noble families used heraldry to build, consolidate, transmit, and perpetuate identity traits that, internally and externally, defined a sense of belonging to a group.
Rita Nóvoa
doaj +1 more source