A parametrized axiomatization for a large number of restricted second-order logics
- Logic
- Hardware and Architecture
- Arts and Humanities (miscellaneous)
- Software
- Theoretical Computer Science
Need a simple solution for managing your BibTeX entries? Explore CiteDrive!
- Web-based, modern reference management
- Collaborate and share with fellow researchers
- Integration with Overleaf
- Comprehensive BibTeX/BibLaTeX support
- Save articles and websites directly from your browser
- Search for new articles from a database of tens of millions of references
More from our Archive
- DOI: 10.3390/axioms12080748 2023
Effects of the Wiener Process and Beta Derivative on the Exact Solutions of the Kadomtsev–Petviashvili Equation
Farah M. Al-Askar, Clemente Cesarano, Wael W. Mohammed
- DOI: 10.3390/axioms12080733 2023
Solvability, Approximation and Stability of Periodic Boundary Value Problem for a Nonlinear Hadamard Fractional Differential Equation with p-Laplacian
Kaihong Zhao
- DOI: 10.3390/axioms12070702 2023
UAV Path Planning Based on an Improved Chimp Optimization Algorithm
Qinglong Chen, Qing He, Damin Zhang
- DOI: 10.1002/malq.202200042 2023
Bisimulations and bisimulation games between Verbrugge models
Sebastijan Horvat, Tin Perkov, Mladen Vuković
- DOI: 10.3390/axioms12080746 2023
Integrating Fuzzy Rough Sets with LMAW and MABAC for Green Supplier Selection in Agribusiness
Adis Puška, Anđelka Štilić, Miroslav Nedeljković, Darko Božanić, Sanjib Biswas
- DOI: 10.3390/axioms12080745 2023
Applications of Fuzzy Differential Subordination for a New Subclass of Analytic Functions
Shahid Khan, Jong-Suk Ro, Fairouz Tchier, Nazar Khan
- DOI: 10.3390/axioms12080731 2023
Tsallis Entropy for the Past Lifetime Distribution with Application
Mohamed Kayid, Mashael A. Alshehri
- DOI: 10.3390/axioms12080728 2023
Synchronization of Fractional Partial Difference Equations via Linear Methods
Ibraheem Abu Falahah, Amel Hioual, Mowafaq Omar Al-Qadri, Yazan Alaya AL-Khassawneh, Abdallah Al-Husban, Tareq Hamadneh, Adel Ouannas
- DOI: 10.3390/axioms12080721 2023
Model-Free Sliding Mode Enhanced Proportional, Integral, and Derivative (SMPID) Control
Quanmin Zhu
- DOI: 10.3390/axioms12070700 2023
Convergence of Collocation Methods for One Class of Impulsive Delay Differential Equations
Zhiwei Wang, Guilai Zhang, Yang Sun