| Search |
|
|
|
1.
|
- On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion
- Romà J. Adillon, Ventura Verdú
- Studia Logica: An International Journal for Symbolic Logic, Vol. 65, No. 1 (Jun., 2000), pp. 11-30
- Extracted key terms: sequent, gentzen, theorem, ponen, axiom, calculus, modu, deductive, formula, lattice, connective, equivalent, contraction, proof, using, rule, equivalence, lemma, delete, system, derivable, equation, semantics
|
|
2.
|
- Linearization of the BCK-Logic
- Francisco M. García Olmedo, Antonio J. Rodríguez Salas
- Studia Logica: An International Journal for Symbolic Logic, Vol. 65, No. 1 (Jun., 2000), pp. 31-51
- Extracted key terms: algebra, theorem, linearization, linear, filter, irreducible, formula, corollary, chain, exist, lattice, equivalent, semantics, equivalence, proof, logic, rodriguez, equation, lemma, deductive, definition, monomorphism
|
|
3.
|
- Protoalgebraic Gentzen Systems and the Cut Rule
- Àngel J. Gil, Jordi Rebagliato
- Studia Logica: An International Journal for Symbolic Logic, Vol. 65, No. 1 (Jun., 2000), pp. 53-89
- Extracted key terms: sequent, gentzen, deductive, rule, calculus, system, formula, leibniz, dimensional, axiom, definition, proof, congruence, denote, algebra, structural, finitary, theorem, consequence, arbitrary, call, operator
|
|
4.
|
- Algebraic Characterizations of Various Beth Definability Properties
- Eva Hoogland
- Studia Logica: An International Journal for Symbolic Logic, Vol. 65, No. 1 (Jun., 2000), pp. 91-112
- Extracted key terms: logic, definability, property, definition, algebraic, theorem, surjective, semantically, epimorphism, homomorphism, claim, implicit, algebra, extensible, proof, define, characterization, connective, class, explicit, general, formula, exist
|
|
5.
|
- Varieties of Pseudo-Interior Algebras
- Barbara Klunder
- Studia Logica: An International Journal for Symbolic Logic, Vol. 65, No. 1 (Jun., 2000), pp. 113-136
- Extracted key terms: finite, pseudo, algebra, interior, theorem, irreducible, corollary, variety, generate, subalgebra, lattice, lemma, homomorphism, locally, subvarietie, proof, isomorphic, finitely, semigroup, distributive, congruence, element
|
|
6.
|
- Algebras and Matrices for Annotated Logics
- R. A. Lewin, I. F. Mikenberg, M. G. Schwarze
- Studia Logica: An International Journal for Symbolic Logic, Vol. 65, No. 1 (Jun., 2000), pp. 137-153
- Extracted key terms: matrix, logic, annotate, algebra, axiom, boolean, theorem, formula, semantics, congruence, negation, unary, system, lattice, reduce, credibility, leibniz, algebraic, define, finite
|
|
7.
|
- Time for Children: A Study of Parent's Time Allocation
- Daniel Hallberg, Anders Klevmarken
- Journal of Population Economics, Vol. 16, No. 2 (May, 2003), pp. 205-226
- Extracted key terms: child, market, parent, hour, leisure, marginal, utility, activity, spouse, income, household, model, kurtosi, table, benefit, process, skewness, male, young, exogenou, working, labor, variable
|
|
8.
|
- Gender Effect on Housework Allocation: Evidence from Spanish Two-Earner Couples
- Begoña Álvarez, Daniel Miles
- Journal of Population Economics, Vol. 16, No. 2 (May, 2003), pp. 227-242
- Extracted key terms: housework, spouse, allocation, gender, couple, husband, wife, woman, household, bivariate, labor, earnings, probability, egalitarian, hour, table, characteristic, domestic, earner, alvarez, share
|
|
9.
|
- Are Children Repaying Parental Loans? Evidence from Malaysia Using Matched Child-Parent Pairs
- Cheolsung Park
- Journal of Population Economics, Vol. 16, No. 2 (May, 2003), pp. 243-263
- Extracted key terms: transfer, parent, child, coresidence, income, amount, parental, repayment, education, altruism, household, altruistic, loan, dummy, equation, estimation, correlate, estimate, sample, quartile, secondary
|
|
10.
|
- Joint Decisions on Household Membership and Human Capital Accumulation of Youths. The Role of Expected Earnings and Local Markets
- Gianna Claudia Giannelli, Chiara Monfardini
- Journal of Population Economics, Vol. 16, No. 2 (May, 2003), pp. 265-285
- Extracted key terms: earnings, young, father, housing, northeast, probit, expect, unemployment, female, labour, male, parent, variable, model, market, capital, adult, south, lifetime, probability, household, parental, studying, utility
|
|