نتائج البحث - "Differentiation rules"

1

Power and Limits of Structural Display Rules

المؤلفون: Agata Ciabattoni, Revantha Ramanayake

المصدر: ACM Transactions on Computational Logic. 17:1-39

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1b285b7917f312028f6979688f86847f
https://doi.org/10.1145/2874775

View Record from ACM Digital Library

2

Lambek calculus with a unit and one division

المؤلفون: S. D. Kuznetsov

المصدر: Moscow University Mathematics Bulletin. 66:173-175

مصطلحات موضوعية: General Mathematics, Noncommutative logic, Substitution (algebra), Computer Science::Computation and Language (Computational Linguistics and Natural Language and Speech Processing), Division (mathematics), Integration by substitution, Linear logic, Differentiation rules, Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Mathematics::Category Theory, Computer Science::Logic in Computer Science, Calculus, Time complexity, Unit (ring theory), Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5ac94fcd4623908f67f827f11bcaa8cc
https://doi.org/10.3103/s0027132211040085

Find this article in full text from Springer Verlag.

3

How to Build Input/Output Logic

المؤلفون: Xin Sun

المصدر: Lecture Notes in Computer Science ISBN: 9783319097633
CLIMA
15th International Workshop on Computational Logic in Multi-Agent Systems. (2014).

مصطلحات موضوعية: Computer science [C05] [Engineering, computing & technology], Sequential logic, Theoretical computer science, Function block diagram, Computer Science::Logic in Computer Science, Deontic logic, Multimodal logic, Dynamic logic (modal logic), Sciences informatiques [C05] [Ingénierie, informatique & technologie], Mathematical proof, Differentiation rules, Logic optimization, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8d7adc292f38b901ad41ba620c74527e
https://doi.org/10.1007/978-3-319-09764-0_8

4

[Untitled]

المؤلفون: R. Pliuškevičius

المصدر: Lithuanian Mathematical Journal. 40:379-388

مصطلحات موضوعية: Natural deduction, General Mathematics, Zeroth-order logic, Noncommutative logic, Curry–Howard correspondence, Differentiation rules, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Proof calculus, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Many-valued logic, Calculus, Rule of inference, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::51ecb68cae10ad2f318b34ec934ba592
https://doi.org/10.1023/a:1007665630787

Find this article in full text from Springer Verlag.

5

A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search

المؤلفون: Alwen Tiu, Zhe Hou, Rajeev Goré

المصدر: Lecture Notes in Computer Science ISBN: 9783642405365
TABLEAUX

مصطلحات موضوعية: Discrete mathematics, Natural deduction, Cut-elimination theorem, Sequent calculus, Differentiation rules, Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Proof calculus, Proof theory, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Computer Science::Logic in Computer Science, Structural proof theory, Sequent, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::11840e3518824e33b55835760f7c8e19
https://doi.org/10.1007/978-3-642-40537-2_16

6

Tree models and (labeled) categorial grammar

المؤلفون: Yde Venema

المصدر: Journal of Logic, Language and Information. 5:253-277

مصطلحات موضوعية: Discrete mathematics, Linguistics and Language, Interpretation (logic), Relation (database), Categorial grammar, Semantics (computer science), Differentiation rules, Mathematics::Logic, Philosophy, Tree (descriptive set theory), Computer Science::Logic in Computer Science, Computer Science (miscellaneous), Decision tree model, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::55611dc1a514610bfaf4aa941c6ce0b3
https://doi.org/10.1007/bf00159341

Find this article in full text from Springer Verlag.

7

A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics

المؤلفون: Marcello D'Agostino, Dov M. Gabbay

المصدر: Journal of Automated Reasoning. 13:243-281

مصطلحات موضوعية: Discrete mathematics, Structure (mathematical logic), Generalization, Relevance logic, Resolution (logic), Logical consequence, Linear logic, Differentiation rules, Algebra, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Computational Theory and Mathematics, Negation, Artificial Intelligence, Computer Science::Logic in Computer Science, Software, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6973cbcea9561d36c842d6baa90f5c62
https://doi.org/10.1007/bf00881958

Find this article in full text from Springer Verlag.

8

Highlighting the lambda-free fragment of Automath

المؤلفون: Bruijn, de, N.G., Melham, T.F., Camilleri, J.

المساهمون: Mathematics and Computer Science

المصدر: Higher Order Logic Theorem Proving and Its Applications ISBN: 9783540584506
TPHOLs
Higher Order Logic Theorem Proving and Its Applications (Proceedings of the 7th International Workshop, Valletta, Malta, September 19-22, 1994), 81-96
STARTPAGE=81;ENDPAGE=96;TITLE=Higher Order Logic Theorem Proving and Its Applications (Proceedings of the 7th International Workshop, Valletta, Malta, September 19-22, 1994)

مصطلحات موضوعية: Fragment (logic), Computer Science::Logic in Computer Science, Calculus, ComputingMilieux_LEGALASPECTSOFCOMPUTING, Automath, Lambda, Lambda calculus, computer, Astrophysics::Galaxy Astrophysics, Physics::History of Physics, Differentiation rules, Mathematics, computer.programming_language